Menu
Submit Site
Home
Science
Mathematics
Martin-Löf Type Theory: Semantics and Proof Theory
Martin-Löf Type Theory: Semantics and Proof Theory
All Links
Website
Share this:
Details of Martin-Löf Type Theory: Semantics and Proof Theory
About Martin-Löf Type Theory: Semantics and Proof Theory
Martin-Löf Type Theory: Semantics and Proof Theory- Home page of a working group maintained by Thierry Coquand.
Journals
Send feedback
submit
