Octavio Malherbe

Identifiers

• name variant Octavio Malherbe 0.60 · backfill

Papers (8)

1. The category of implicative algebras and realizability math.LO · 2017 · author #2
2. Linear Hyperdoctrines and Comodules math.LO · 2016 · author #2
3. Realizability in OCAs and AKSs math.LO · 2015 · author #3
4. Ordered combinatory algebras and realizability math.LO · 2014 · author #4
5. A Report on Realizability math.LO · 2013 · author #3
6. Presheaf models of quantum computation: an outline math.CT · 2013 · author #1
7. Categorical models of computation: partially traced categories and presheaf models of quantum computation math.CT · 2013 · author #1
8. Partially traced categories math.CT · 2011 · author #1

Mentions

• 1410.5034 #4 · backfill · confidence 0.70 Octavio Malherbe
• 1309.0706 #3 · backfill · confidence 0.70 Octavio Malherbe
• 1302.5652 #1 · backfill · confidence 0.70 Octavio Malherbe
• 1301.5087 #1 · backfill · confidence 0.70 Octavio Malherbe
• 1107.3608 #1 · backfill · confidence 0.70 Octavio Malherbe

Frequent Coauthors

• Mauricio Guillermo 3 shared papers
• Walter Ferrer Santos 3 shared papers
• Peter Selinger 2 shared papers
• Alexandre Miquel 1 shared papers
• Jonas Frey 1 shared papers
• Mariana Haim 1 shared papers
• Philip J. Scott 1 shared papers
• Philip Scott 1 shared papers
• Walter Ferrer 1 shared papers