| No. |
Title |
Author |
Year |
| 1 |
Type Theory with Explicit Universe Polymorphism |
Bezem, Marc et al. |
2023 |
| 2 |
Domain Theory in Constructive and Predicative Univalent Foundations |
de Jong, Tom et al. |
2021 |
| 3 |
Predicative Aspects of Order Theory in Univalent Foundations |
de Jong, Tom et al. |
2021 |
| 4 |
Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341) |
Bauer, Andrej et al. |
2019 |
| 5 |
Parametricity, Automorphisms of the Universe, and Excluded Middle |
Booij, Auke B. et al. |
2018 |
| 6 |
Partial Elements and Recursion via Dominances in Univalent Type Theory |
Escardó, Martín H. et al. |
2017 |
| 7 |
System T and the Product of Selection Functions |
Escardo, Martin et al. |
2011 |
| 8 |
Theory and Practice of Higher-type Computation (Tutorial) |
Escardó, Martin |
2009 |
