Ian Orton

Ian Orton

University of Cambridge - Cambridge / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 5552190
person_outline Ian Orton's MOST POPULAR ARTICLES
1-) Axioms for modelling cubical type theory in a toposI Orton, AM PittsLogical Methods in Computer Science 14, 20181222018
2-) Internal universes in models of homotopy type theoryDR Licata, I Orton, AM Pitts, B SpittersarXiv preprint arXiv:1801.07664, 2018972018
3-) Decomposing the univalence axiomI Orton, AM PittsarXiv preprint arXiv:1712.04890, 201782017
4-) Cubical Models of Homotopy Type Theory-An Internal ApproachRI Orton42019
5-) Models of type theory based on Moore pathsI Orton, AM PittsLogical Methods in Computer Science 15 (Type theory and constructive …, 201932019