| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Linear Lambda-Calculus is Linear | Díaz-Caro, Alejandro et al. | 2022 |
| 2 | Some Axioms for Mathematics | Blanqui, Frédéric et al. | 2021 |
| 3 | Proof Normalisation in a Logic Identifying Isomorphic Propositions | Díaz-Caro, Alejandro et al. | 2019 |
| 4 | Models and Termination of Proof Reduction in the lambda Pi-Calculus Modulo Theory | Dowek, Gilles | 2017 |
| 5 | Universality of Proofs (Dagstuhl Seminar 16421) | Dowek, Gilles et al. | 2017 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 5 |