Andrea Asperti's Books |
My books |
|
|
|
I also started to write an introduction to modern type theory, but my alleged coauthor B.W. vanished into thin air. If you have news of him, please let me know. |
home | cv | didattica | papers |
april 2018