Ian Orton

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 10

Top Topics

Complete Axiomatization

Mathematical Models

Causal Reasoning

First Order Logic

Top Venues

Log. Methods Comput. Sci.

Publications

Ian Orton, Andrew M. Pitts
Models of Type Theory Based on Moore Paths. Log. Methods Comput. Sci. 15 (1) (2019)
Daniel R. Licata, Ian Orton, Andrew M. Pitts, Bas Spitters
Internal Universes in Models of Homotopy Type Theory. CoRR (2018)
Daniel R. Licata, Ian Orton, Andrew M. Pitts, Bas Spitters
Internal Universes in Models of Homotopy Type Theory. FSCD (2018)
Ian Orton, Andrew M. Pitts
Models of Type Theory Based on Moore Paths. CoRR (2018)
Ian Orton, Andrew M. Pitts
Axioms for Modelling Cubical Type Theory in a Topos. Log. Methods Comput. Sci. 14 (4) (2018)
Ian Orton, Andrew M. Pitts
Decomposing the Univalence Axiom. TYPES (2017)
Ian Orton, Andrew M. Pitts
Models of Type Theory Based on Moore Paths. FSCD (2017)
Ian Orton, Andrew M. Pitts
Axioms for Modelling Cubical Type Theory in a Topos. CoRR (2017)
Ian Orton, Andrew M. Pitts
Decomposing the Univalence Axiom. CoRR (2017)
Ian Orton, Andrew M. Pitts
Axioms for Modelling Cubical Type Theory in a Topos. CSL (2016)