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

Daniel Agota agota.daniel at gmail.com
Fri Nov 10 09:13:27 EST 2017

Previous message: [Ur] Research topic one semester Ur/Wev or dependent typer
Next message: [Ur] Extending Ur/Web
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [Ur] Research topic one semester Ur/Wev or dependent typer
Next message: [Ur] Extending Ur/Web
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Ur mailing list