Marcelo Fiore

Identifiers

• name variant Marcelo Fiore 0.60 · backfill

Papers (10)

1. A type theory for cartesian closed bicategories cs.LO · 2019 · author #1
2. Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures math.CT · 2016 · author #1
3. Functorial Semantics of Second-Order Algebraic Theories math.CT · 2014 · author #1
4. An Equational Metalogic for Monadic Equational Systems math.CT · 2013 · author #1
5. Second-Order Algebraic Theories cs.LO · 2013 · author #1
6. Analytic functors between presheaf categories over groupoids math.CT · 2013 · author #1
7. The Algebra of Directed Acyclic Graphs math.CT · 2013 · author #1
8. An abstract characterization of Thompson's group F math.GR · 2005 · author #1
9. Objects of Categories as Complex Numbers math.CT · 2002 · author #1
10. An Objective Representation of the Gaussian Integers math.RA · 2002 · author #1

Mentions

• 1401.4697 #1 · backfill · confidence 0.70 Marcelo Fiore
• 1309.4821 #1 · backfill · confidence 0.70 Marcelo Fiore
• 1308.5409 #1 · backfill · confidence 0.70 Marcelo Fiore
• 1303.5638 #1 · backfill · confidence 0.70 Marcelo Fiore
• 1303.0376 #1 · backfill · confidence 0.70 Marcelo Fiore

Frequent Coauthors

• Tom Leinster 3 shared papers
• Ola Mahmoud 2 shared papers
• Glynn Winskel 1 shared papers
• Marco Devesas Campos 1 shared papers
• Martin Hyland 1 shared papers
• Nicola Gambino 1 shared papers
• Philip Saville 1 shared papers