| No. |
Title |
Author |
Year |
| 1 |
Interactions between Category Theory and Computer Science (Dagstuhl Seminar 9329) |
Gray, John W. et al. |
2021 |
| 2 |
Quotients in Dependent Type Theory (Invited Talk) |
Pitts, Andrew M. |
2020 |
| 3 |
Decomposing the Univalence Axiom |
Orton, Ian et al. |
2018 |
| 4 |
Internal Universes in Models of Homotopy Type Theory |
Licata, Daniel R. et al. |
2018 |
| 5 |
Models of Type Theory Based on Moore Paths |
Orton, Ian et al. |
2017 |
| 6 |
Axioms for Modelling Cubical Type Theory in a Topos |
Orton, Ian et al. |
2016 |
| 7 |
Nominal Presentation of Cubical Sets Models of Type Theory |
Pitts, Andrew M. |
2015 |
| 8 |
Nominal Computation Theory (Dagstuhl Seminar 13422) |
Bojanczyk, Mikolaj et al. |
2014 |
| 9 |
Relating Two Semantics of Locally Scoped Names |
Lösch, Steffen et al. |
2011 |
| 10 |
Step-Indexed Biorthogonality: a Tutorial Example |
Pitts, Andrew M. |
2010 |
