No.008 The 14th Agda Implementors Meeting

Icon

Shonan Meeting Seminar 008

Organizer

  • Peter Dybjer, Chalmers University of Technology
  • Yoshiki Kinoshita, AIST
  • Shin Cheng Mu, Academia Sinica

Category: Organizer

Tagged:

Comments are closed.