[Agda] CfP PLMMS at CICM, July 2013, Bath, UK

Iain Whiteside i.whiteside at sms.ed.ac.uk
Fri Apr 12 16:18:02 CEST 2013


Skipped content of type multipart/alternative-------------- next part --------------
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.


More information about the Agda mailing list