Search Results - Capriotti, Paolo

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Models of type theory with strict equality

    Models of type theory with strict equality by Capriotti, Paolo

    Published 2017
    Get full text
  2. 2
    Univalent higher categories via complete semi-segal types

    Univalent higher categories via complete semi-segal types by Capriotti, Paolo, Kraus, Nicolai

    Published 2018
    Get full text
  3. 3
    Extending homotopy type theory with strict equality

    Extending homotopy type theory with strict equality by Altenkirch, Thorsten, Capriotti, Paolo, Nicolai, Kraus

    Published 2016
    Get full text
  4. 4
    Quotient inductive-inductive types

    Quotient inductive-inductive types by Altenkirch, Thorsten, Capriotti, Paolo, Dijkstra, Gabe, Nordvall Forsberg, Fredrik Nordvall Forsberg

    Published 2017
    Get full text

Search Tools: