Search Results - Kaposi, Ambrus

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Type theory in a type theory with quotient inductive types

    Type theory in a type theory with quotient inductive types by Kaposi, Ambrus

    Published 2017
    Get full text
  2. 2
    Type theory in type theory using quotient inductive types

    Type theory in type theory using quotient inductive types by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2016
    Get full text
  3. 3
    Normalisation by evaluation for dependent types

    Normalisation by evaluation for dependent types by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2016
    Get full text
  4. 4
    Towards a cubical type theory without an interval

    Towards a cubical type theory without an interval by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2017
    Get full text
  5. 5
    Normalisation by evaluation for type theory, in type theory

    Normalisation by evaluation for type theory, in type theory by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2017
    Get full text

Search Tools: