Martin Escardo

Identifiers

• name variant Martin Escardo 0.60 · backfill

Papers (3)

1. The Herbrand Functional Interpretation of the Double Negation Shift cs.LO · 2014 · author #1
2. Bar Recursion and Products of Selection Functions cs.LO · 2014 · author #1
3. Exhaustible sets in higher-type computation cs.LO · 2008 · author #1

Mentions

• 1410.4353 #1 · backfill · confidence 0.70 Martin Escardo
• 1407.7046 #1 · backfill · confidence 0.70 Martin Escardo
• 0808.0441 #1 · backfill · confidence 0.70 Martin Escardo

Frequent Coauthors

• Paulo Oliva 2 shared papers