Search Results - Logical Methods in Computer Science e.V.

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    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
    “…Logical Methods in Computer Science e.V.…”
    Get full text

Search Tools: