Showing 1 - 2 results of 2 for search 'Ian Orton', query time: 0.02s Refine Results
  1. 1
    Models of Type Theory Based on Moore Paths

    Models of Type Theory Based on Moore Paths by Ian Orton, Andrew M. Pitts

    Published 2019-01-01
    Get full text
    Article
  2. 2
    Axioms for Modelling Cubical Type Theory in a Topos

    Axioms for Modelling Cubical Type Theory in a Topos by Ian Orton, Andrew M. Pitts

    Published 2018-12-01
    Get full text
    Article

Search Tools: