Results 1 -
0 of
0
No citations were found for this document.
Proof Theory of Martin-Lof Type Theory -- An (2004)
by Overview Anton Setzer, Anton Setzer
| Venue: | Mathematiques et Sciences Humaines, 42 année, n o 165:59 – 99 |
