Marcelo Fiore

25 papers A* 4B 6Journal 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
An axiomatics and a combinatorial model of creation/annihilation operators.
Math. Struct. Comput. Sci.
Marcelo Fiore
2025 A* conf
Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution.
LICS
Marcelo Fiore, Sanjiv Ranchod
2025 J jnl
Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution.
CoRR
Marcelo Fiore, Sanjiv Ranchod
2024 J jnl
Logical Structure on Inverse Functor Categories.
CoRR
Marcelo Fiore, Chris Kapulkin, Yufeng Li
2024 J jnl
Stabilized profunctors and stable species of structures.
Log. Methods Comput. Sci.
Marcelo Fiore, Zeinab Galal, Hugo Paquet
2023 B conf
Fixpoint constructions in focused orthogonality models of linear logic.
MFPS
Marcelo Fiore, Zeinab Galal, Farzad Jafarrahmani
2023 J jnl
Stabilized profunctors and stable species of structures.
CoRR
Marcelo Fiore, Zeinab Galal, Hugo Paquet
2022 B conf
A Combinatorial Approach to Higher-Order Structure for Polynomial Functors.
FSCD
Marcelo Fiore, Zeinab Galal, Hugo Paquet
2022 J jnl
Formal Metatheory of Second-Order Abstract Syntax.
CoRR
Marcelo Fiore, Dmitrij Szamozvancev
2022 J jnl
Formal metatheory of second-order abstract syntax.
Proc. ACM Program. Lang.
Marcelo Fiore, Dmitrij Szamozvancev
2022 B conf
Free Commutative Monoids in Homotopy Type Theory.
MFPS
Vikraman Choudhury, Marcelo Fiore
2022 J jnl
Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus.
CoRR
Marcelo Fiore
2022 J jnl
Semantic analysis of normalisation by evaluation for typed lambda calculus.
Math. Struct. Comput. Sci.
Marcelo Fiore
2021 J jnl
Coherence for bicategorical cartesian closed structure.
Math. Struct. Comput. Sci.
Marcelo Fiore, Philip Saville
2020 A* conf
Algebraic models of simple type theories: A polynomial approach.
LICS
Nathanael Arkor, Marcelo Fiore
2020 J jnl
Algebraic models of simple type theories: a polynomial approach.
CoRR
Nathanael Arkor, Marcelo Fiore
2020 J jnl
Classical logic with Mendler induction.
J. Log. Comput.
Marco Devesas Campos, Marcelo Fiore
2020 A* conf
Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure.
LICS
Marcelo Fiore, Philip Saville
2020 B conf
Relative Full Completeness for Bicategorical Cartesian Closed Structure.
FoSSaCS
Marcelo Fiore, Philip Saville
2019 A* conf
A type theory for cartesian closed bicategories (Extended Abstract).
LICS
Marcelo Fiore, Philip Saville
2019 J jnl
A type theory for cartesian closed bicategories.
CoRR
Marcelo Fiore, Philip Saville
2019 J jnl
Constructing Infinitary Quotient-Inductive Types.
CoRR
Marcelo Fiore, Andrew M. Pitts, S. C. Steenkamp
2017 B conf
List Objects with Algebraic Structure.
FSCD
Marcelo Fiore, Philip Saville
2007 — ed.
Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin
Computation, Meaning, and Logic
Luca Cardelli, Marcelo Fiore, Glynn Winskel
2007 B ed.
Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, MFPS 2007, New Orleans, LA, USA, April 11-14, 2007
MFPS
Marcelo Fiore