Search Results - "dependent types"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Normalisation by evaluation for dependent types

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

    Published 2016
    Subjects: Get full text
  2. 2
    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
    Subjects: “…normalisation by evaluation; dependent types; internal type theory; logical relations; Agda…”
    Get full text
  3. 3
    A framework for relating, implementing and verifying argumentation models and their translations

    A framework for relating, implementing and verifying argumentation models and their translations by van Gijzel, Bas

    Published 2016
    Subjects: Get full text

Search Tools: