Showing 1 - 4 results of 4 for search 'Andrew M. Pitts', query time: 0.02s
Refine Results
-
1
Models of Type Theory Based on Moore Paths by Ian Orton, Andrew M. Pitts
Published 2019-01-01
Article -
2
Axioms for Modelling Cubical Type Theory in a Topos by Ian Orton, Andrew M. Pitts
Published 2018-12-01
Article -
3
Generative Unbinding of Names by Andrew M. Pitts, Mark R. Shinwell
Published 2008-03-01
Article -
4
Quotients, inductive types, and quotient inductive types by Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp
Published 2022-06-01
Article