| Title | Author(s) | Year |
|---|---|---|
| Intuitionistic Type Theory | Per Martin-Löf | 1984 |
| On the Meanings of the Logical Constants and the Justification of the Logical Laws | Per Martin-Löf | 1996 |
| [[http://mat.uab.cat/~kock/crm/h |
Anthony Quizon anthonyquizon
queertypes
/ read-dt.org
Last active
January 10, 2025 02:25
Implement a Dependently Typed Language and Then Some