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

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

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

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

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

5 | Relating Two Semantics of Locally Scoped Names | Lösch, Steffen et al. | 2011 |

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

Number of result pages: | 1 |

Number of documents: | 6 |