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
Current Page :
Number of result pages: 1
Number of documents: 10

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI