Marcelo Fiore

University of Cambridge — United Kingdom

Computer Science · Physical Sciences

28h-index2.4kcitations142works0.62yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(89), Logic, Reasoning, and Knowledge(64), Homotopy and Cohomology in Algebraic Topology(30), Advanced Algebra and Logic(28), Formal Methods in Verification(19)

Publications141 total

Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
Electronic Notes in Theoretical Informatics and Computer Science·2025Open Access
Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
arXiv (Cornell University)·2025Open Access
Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
2025
Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
arXiv (Cornell University)·2025Open Access
Formal P-Category Theory and Normalization by Evaluation in Rocq
arXiv (Cornell University)·2025Open Access
A Finite Algebraic Presentation of Lawvere Theories in the Object-Classifier Topos
Theory and applications of categories·2025· 1 citedOpen Access
An axiomatics and a combinatorial model of creation/annihilation operators
Mathematical Structures in Computer Science·2025· 5 citedOpen Access
Logical Structure on Inverse Functor Categories
arXiv (Cornell University)·2024Open Access
A finite algebraic presentation of Lawvere theories in the object-classifier topos
arXiv (Cornell University)·2024Open Access
Monoidal bicategories, differential linear logic, and analytic functors
arXiv (Cornell University)·2024· 1 citedOpen Access
Stabilized profunctors and stable species of structures
Logical Methods in Computer Science·2024Open Access
Fixpoint constructions in focused orthogonality models of linear logic
Electronic Notes in Theoretical Informatics and Computer Science·2023· 2 citedOpen Access
Fixpoint constructions in focused orthogonality models of linear logic
arXiv (Cornell University)·2023Open Access
Stabilized profunctors and stable species of structures
arXiv (Cornell University)·2023Open Access
Free Commutative Monoids in Homotopy Type Theory
Electronic Notes in Theoretical Informatics and Computer Science·2023· 4 citedOpen Access
Semantic analysis of normalisation by evaluation for typed lambda calculus
Mathematical Structures in Computer Science·2022· 7 citedOpen Access
Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus
arXiv (Cornell University)·2022Open Access
Quotients, inductive types, and quotient inductive types
Logical Methods in Computer Science·2022· 14 citedOpen Access
Formal metatheory of second-order abstract syntax
Proceedings of the ACM on Programming Languages·2022· 21 citedOpen Access
Agda code supporting "Quotients, Inductive Types and Quotient Inductive Types"
Apollo (University of Cambridge)·2021Open Access
page 1 of 8Next →

Frequent Co-authors

Glynn Winskel(6), Gordon Plotkin(5), Vincent Balat(4), Roberto Di Cosmo(4), Sam Staton(4), Gian Luca Cattani(4), Chung-Kil Hur(4), Eugenio Moggi(3), Davide Sangiorgi(3), Daniele Turi(2), Nicola Gambino(2), Martin Hyland(2), M. Abadi(2), Tom Leinster(2), Philip Saville(2), Ola Mahmoud(1), Pierre-Louis Curien(1), Guillaume Munch-Maccagnoni(1), Marco Devesas Campos(1), Alex Simpson(1)