Showing 1 - 2 results of 2 for search 'Martin Escardo', query time: 0.02s
Refine Results
-
1
Exhaustible sets in higher-type computation by Martin Escardo
Published 2008-08-01
Article -
2
Notions of Anonymous Existence in Martin-L\"of Type Theory by Nicolai Kraus, Martín Escardó, Thierry Coquand, Thorsten Altenkirch
Published 2017-03-01
Article