Ian Orton

Identifiers

• name variant Ian Orton 0.60 · backfill

Papers (4)

1. Models of Type Theory Based on Moore Paths cs.LO · 2018 · author #1
2. Internal Universes in Models of Homotopy Type Theory cs.LO · 2018 · author #2
3. Decomposing the Univalence Axiom cs.LO · 2017 · author #1
4. Axioms for Modelling Cubical Type Theory in a Topos cs.LO · 2017 · author #1

Mentions

• 1802.05629 #1 · arxiv_oai · confidence 0.70 Ian Orton
• 1712.04864 #1 · arxiv_oai · confidence 0.70 Ian Orton
• 1801.07664 #2 · arxiv_oai · confidence 0.70 Ian Orton
• 1712.04890 #1 · arxiv_oai · confidence 0.70 Ian Orton

Frequent Coauthors

• Andrew M. Pitts 4 shared papers
• Bas Spitters 1 shared papers
• Daniel R. Licata 1 shared papers