[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

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

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

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

More information about the Ur mailing list