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 |