No. |
Title |
Author |
Year |
---|

1 |
Quotients in Dependent Type Theory (Invited Talk) |
Pitts, Andrew M. |
2020 |

2 |
Decomposing the Univalence Axiom |
Orton, Ian et al. |
2018 |

3 |
Internal Universes in Models of Homotopy Type Theory |
Licata, Daniel R. et al. |
2018 |

4 |
Models of Type Theory Based on Moore Paths |
Orton, Ian et al. |
2017 |

5 |
Axioms for Modelling Cubical Type Theory in a Topos |
Orton, Ian et al. |
2016 |

6 |
Nominal Presentation of Cubical Sets Models of Type Theory |
Pitts, Andrew M. |
2015 |

7 |
Nominal Computation Theory (Dagstuhl Seminar 13422) |
Bojanczyk, Mikolaj et al. |
2014 |

8 |
Relating Two Semantics of Locally Scoped Names |
LĂ¶sch, Steffen et al. |
2011 |

9 |
Step-Indexed Biorthogonality: a Tutorial Example |
Pitts, Andrew M. |
2010 |