Search Results - Escardo, Martin

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Notions of anonymous existence in Martin-Löf type theory

    Notions of anonymous existence in Martin-Löf type theory by Kraus, Nicolai, Escardo, Martin, Coquand, Thierry, Altenkirch, Thorsten

    Published 2016
    Get full text

Search Tools: