[Agda] Joint Call For Papers - Conferences / Journal Special Issues, March 2013)

cfp at grid.chu.edu.tw cfp at grid.chu.edu.tw
Sat Mar 9 13:34:22 CET 2013

Previous message: [Agda] eta expansion
Next message: [Agda] SSTiC 2013: 2nd announcement
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130309/34e38e72/attachment-0001.html

Previous message: [Agda] eta expansion
Next message: [Agda] SSTiC 2013: 2nd announcement
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list