author-photo

Marcelo P. Fiore

University of Cambridge
University of Edinburgh

81

Papers

2263

Citations

Citation Trend

Filter By

Papers (56) Sort By

Journal Conference Others

Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures

2018 Selecta Mathematica-new Series
Show All
- Source
- Cite
- Save
Citations (0)
List Objects with Algebraic Structure

2017
- Marcelo P. Fiore
- Philip Saville
Show All
- Source
- Cite
- Save
Citations (12)
A theory of effects and resources: adjunction models and polarised calculi

2016 POPL | Symposium on Principles of Programming Languages
Show All
- Source
- Cite
- Save
Citations (21)
Classical Logic with Mendler Induction

2016 FOCS | Foundations of Computer Science
- Marco Devesas Campos
- Marcelo P. Fiore
Show All
- Source
- Cite
- Save
Citations (0)
An Axiomatics and a Combinatorial Model of Creation/Annihilation Operators

2015 arXiv: Category Theory
- Marcelo P. Fiore
Show All
- Source
- Cite
- Save
Citations (5)
A Higher-Order Polymorphic λ-Calculus with Erasable Term-Indices

2013
Show All
- Source
- Cite
- Save
Citations (1)
Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic

2013 LICS | Logic in Computer Science
- Marcelo P. Fiore
- Makoto Hamana
Show All
- Source
- Cite
- Save
Citations (10)
The Algebra of Directed Acyclic Graphs

2013 arXiv: Category Theory
- Marcelo P. Fiore
- Marco Devesas Campos
Show All
- Source
- Cite
- Save
Citations (29)
Discrete generalised polynomial functors

2012 ICALP | International Colloquium on Automata, Languages and Programming
- Marcelo P. Fiore
Show All
- Source
- Cite
- Save
Citations (20)
ON THE MATHEMATICAL SYNTHESIS OF EQUATIONAL LOGICS

2011 Logical Methods in Computer Science
- Marcelo P. Fiore
- Chung-Kil Hur
Show All
- Source
- Cite
- Save
Citations (1)