No.008 The 14th Agda Implementors Meeting
Shonan Meeting Seminar 008
Frontpage
Return home
Browse
By topic
Organizer
Uncategorized
Jul 6, 2011
Organizer
Peter Dybjer, Chalmers University of Technology
Yoshiki Kinoshita, AIST
Shin Cheng Mu, Academia Sinica
Category:
Organizer
Tagged:
Comments are closed.
Frontpage
Return home
Browse
By topic