| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | CATEGORY THEORY | 2022-02-22 06:24 | |
| HOMOTOPY TYPE THEORY | 2022-02-22 06:24 | |
 | Categorical Logic and Type Theory. Elsevier Science, (SLFM141) B. Jacobs (1998).djvu | 2022-02-22 06:24 | 4849 KB |
| Intuitionistic Type Theory. Prometheus Books, (Studies in Proof Theory) Per Martin-Lof (1985).djvu | 2022-02-22 06:24 | 325 KB |
| Programming in Martin Lofs Type Theory.pdf | 2022-02-22 06:24 | 709 KB |
| Type-Logical Semantics. The MIT Press, (Language, Speech, and Communication) Bob Carpenter (1997).djvu | 2022-02-22 06:24 | 5343 KB |