Ian Orton

According to our database¹, Ian Orton authored at least 5 papers between 2016 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

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

Models of Type Theory Based on Moore Paths.

[BibT_eX]

[DOI]

Ian Orton

Andrew M. Pitts

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

2016

Axioms for Modelling Cubical Type Theory in a Topos.

[BibT_eX]

[DOI]

Ian Orton

Andrew M. Pitts

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

Ian Orton

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...