Mauricio Guillermo

Identifiers

• name variant Mauricio Guillermo 0.60 · backfill

Papers (4)

1. Realizability in OCAs and AKSs math.LO · 2015 · author #2
2. Ordered combinatory algebras and realizability math.LO · 2014 · author #3
3. Classical realizability and arithmetical formul{\ae} cs.LO · 2014 · author #1
4. A Report on Realizability math.LO · 2013 · author #2

Mentions

• 1410.5034 #3 · backfill · confidence 0.70 Mauricio Guillermo
• 1403.0875 #1 · backfill · confidence 0.70 Mauricio Guillermo
• 1309.0706 #2 · backfill · confidence 0.70 Mauricio Guillermo

Frequent Coauthors

• Octavio Malherbe 3 shared papers
• Walter Ferrer Santos 3 shared papers
• Alexandre Miquel 1 shared papers
• \'Etienne Miquey 1 shared papers
• Jonas Frey 1 shared papers