Mart\'in Escard\'o

Identifiers

• name variant Mart\'in Escard\'o 0.50 · backfill

Papers (1)

1. Notions of Anonymous Existence in Martin-L\"of Type Theory cs.LO · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Nicolai Kraus 1 shared papers
• Thierry Coquand 1 shared papers
• Thorsten Altenkirch 1 shared papers