[Ur] Research topic one semester Ur/Wev or dependent typer

Daniel Agota agota.daniel at gmail.com
Fri Nov 10 07:56:31 EST 2017


An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20171110/4c41c17d/attachment-0001.html>


More information about the Ur mailing list