Ian Orton

According to our database¹, Ian Orton authored at least 5 papers between 2017 and 2019.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2019

Cubical models of homotopy type theory: an internal approach.

[BibT_eX]

[DOI]

Ian Orton

PhD thesis, 2019

Models of Type Theory Based on Moore Paths.

[BibT_eX]

[DOI]

Ian Orton

Andrew M. Pitts

Log. Methods Comput. Sci., 2019

2018

Axioms for Modelling Cubical Type Theory in a Topos.

[BibT_eX]

[DOI]

Ian Orton

Andrew M. Pitts

Log. Methods Comput. Sci., 2018

Internal Universes in Models of Homotopy Type Theory.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017

Decomposing the Univalence Axiom.

[BibT_eX]

[DOI]

Ian Orton

Andrew M. Pitts

Proceedings of the 23rd International Conference on Types for Proofs and Programs, 2017

Ian Orton

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...