An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC - Marcelo P. Fiore; Gordon D. Plotkin (LICS, 1994)

Axiomatic domain theory in categories of partial maps. - Marcelo P. Fiore (1994)

Lifting as a KZ-Doctrine. - Marcelo P. Fiore (Category Theory and Computer Science, 1995)

Order-Enrichment for Categories of Partial Maps. - Marcelo P. Fiore (Math. Struct. Comput. Sci., 1995)

An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory. - Marcelo P. Fiore; Gordon D. Plotkin (CSL, 1996)

Syntactic Considerations on Recursive Types. - Martín Abadi; Marcelo P. Fiore (LICS, 1996)

A Fully-Abstract Model for the pi-Calculus (Extended Abstract). - Marcelo P. Fiore; Eugenio Moggi; Davide Sangiorgi (LICS, 1996)

A Coinduction Principle for Recursive Data Types Based on Bisimulation. - Marcelo P. Fiore (Inf. Comput., 1996)

Complete Cuboidal Sets in Axiomatic Domain Theory. - Marcelo P. Fiore; Gordon D. Plotkin; A. John Power (LICS, 1997)

The category of cpos from a synthetic viewpoint. - Marcelo P. Fiore; Giuseppe Rosolini (MFPS, 1997)

An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions. - Marcelo P. Fiore (Math. Struct. Comput. Sci., 1997)

A Theory of Recursive Domains with Applications to Concurrency. - Gian Luca Cattani; Marcelo P. Fiore; Glynn Winskel (LICS, 1998)

Recursive Types in Games: Axiomatics and Process Representation. - Marcelo P. Fiore; Kohei Honda 001 (LICS, 1998)

Weak Bisimulation and Open Maps. - Marcelo P. Fiore; Gian Luca Cattani; Glynn Winskel (LICS, 1999)

Abstract Syntax and Variable Binding. - Marcelo P. Fiore; Gordon D. Plotkin; Daniele Turi (LICS, 1999)

Lambda Definability with Sums via Grothendieck Logical Relations. - Marcelo P. Fiore; Alex K. Simpson (TLCA, 1999)

Fibred models of processes. - Marcelo P. Fiore (CTCS, 1999)

Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems. - Marcelo P. Fiore (IFIP TCS, 2000)

Unique factorisation lifting functors and categories of linearly-controlled processes. - Marta Bunge; Marcelo P. Fiore (Math. Struct. Comput. Sci., 2000)

Computing Symbolic Models for Verifying Cryptographic Protocols. - Marcelo P. Fiore; Martín Abadi (CSFW, 2001)

Semantics of Name and Value Passing. - Marcelo P. Fiore; Daniele Turi (LICS, 2001)

Domains in H. - Marcelo P. Fiore; Giuseppe Rosolini (Theor. Comput. Sci., 2001)

A Fully Abstract Model for the [pi]-calculus. - Marcelo P. Fiore; Eugenio Moggi; Davide Sangiorgi (Inf. Comput., 2002)

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. - Vincent Balat; Roberto Di Cosmo; Marcelo P. Fiore (POPL, 2004)

Isomorphisms of generic recursive polynomial types. - Marcelo P. Fiore (POPL, 2004)

Comparing Operational Models of Name-Passing Process Calculi. - Marcelo P. Fiore; Sam Staton (CMCS, 2004)

An objective representation of the Gaussian integers. - Marcelo P. Fiore; Tom Leinster (J. Symb. Comput., 2004)

Mathematical Models of Computational and Combinatorial Structures. - Marcelo P. Fiore (FoSSaCS, 2005)

A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics. - Marcelo P. Fiore; Sam Staton (LICS, 2006)

Remarks on isomorphisms in typed lambda calculi with empty and sum types. - Marcelo P. Fiore; Roberto Di Cosmo; Vincent Balat (Ann. Pure Appl. Log., 2006)

Equational Systems and Free Constructions (Extended Abstract). - Marcelo P. Fiore; Chung-Kil Hur (ICALP, 2007)

Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic. - Marcelo P. Fiore (TLCA, 2007)

Preface. - Luca Cardelli; Marcelo P. Fiore; Glynn Winskel (Computation, Meaning, and Logic, 2007)

The Bicategory-Theoretic Solution of Recursive Domain Equations. - Gian Luca Cattani; Marcelo P. Fiore (Computation, Meaning, and Logic, 2007)

Preface. - Marcelo P. Fiore (MFPS, 2007)

Second-Order and Dependently-Sorted Abstract Syntax. - Marcelo P. Fiore (LICS, 2008)

Term Equational Systems and Logics: (Extended Abstract). - Marcelo P. Fiore; Chung-Kil Hur (MFPS, 2008)

Mathematical Synthesis of Equational Deduction Systems. - Marcelo P. Fiore; Chung-Kil Hur (TLCA, 2009)

A congruence rule format for name-passing process calculi. - Marcelo P. Fiore; Sam Staton (Inf. Comput., 2009)

On the construction of free algebras for equational systems. - Marcelo P. Fiore; Chung-Kil Hur (Theor. Comput. Sci., 2009)

Second-Order Equational Logic (Extended Abstract). - Marcelo P. Fiore; Chung-Kil Hur (CSL, 2010)

Second-Order Algebraic Theories - (Extended Abstract). - Marcelo P. Fiore; Ola Mahmoud (MFCS, 2010)

A foundation for GADTs and inductive families: dependent polynomial functor approach. - Makoto Hamana; Marcelo P. Fiore (WGP@ICFP, 2011)

On the mathematical synthesis of equational logics - Marcelo P. Fiore; Chung-Kil Hur (Log. Methods Comput. Sci., 2011)

Discrete Generalised Polynomial Functors - (Extended Abstract). - Marcelo P. Fiore (ICALP (2), 2012)

The Algebra of Directed Acyclic Graphs. - Marcelo P. Fiore; Marco Devesas Campos (Computation, Logic, Games, and Quantum Foundations, 2013)

Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic. - Marcelo P. Fiore; Makoto Hamana (LICS, 2013)

System F i . - Ki Yung Ahn; Tim Sheard; Marcelo P. Fiore; Andrew M. Pitts (TLCA, 2013)

Second-Order Algebraic Theories. - Marcelo P. Fiore; Ola Mahmoud (CoRR, 2013)

Substitution, jumps, and algebraic effects. - Marcelo P. Fiore; Sam Staton (CSL-LICS, 2014)

Functorial Semantics of Second-Order Algebraic Theories. - Marcelo P. Fiore; Ola Mahmoud (CoRR, 2014)

Analytic functors between presheaf categories over groupoids. - Marcelo P. Fiore (Theor. Comput. Sci., 2014)

Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization. - Marco Devesas Campos; Marcelo P. Fiore (LFCS, 2016)

A theory of effects and resources: adjunction models and polarised calculi. - Pierre-Louis Curien; Marcelo P. Fiore; Guillaume Munch-Maccagnoni (POPL, 2016)

List Objects with Algebraic Structure. - Marcelo Fiore; Philip Saville (FSCD, 2017)

A type theory for cartesian closed bicategories (Extended Abstract). - Marcelo Fiore; Philip Saville (LICS, 2019)

A type theory for cartesian closed bicategories. - Marcelo Fiore; Philip Saville (CoRR, 2019)

Constructing Infinitary Quotient-Inductive Types. - Marcelo P. Fiore; Andrew M. Pitts; S. C. Steenkamp (FoSSaCS, 2020)

Relative Full Completeness for Bicategorical Cartesian Closed Structure. - Marcelo Fiore; Philip Saville (FoSSaCS, 2020)

Algebraic models of simple type theories: A polynomial approach. - Nathanael Arkor; Marcelo Fiore (LICS, 2020)

Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure. - Marcelo Fiore; Philip Saville (LICS, 2020)

Classical logic with Mendler induction. - Marco Devesas Campos; Marcelo Fiore (J. Log. Comput., 2020)

Coherence for bicategorical cartesian closed structure. - Marcelo Fiore; Philip Saville (Math. Struct. Comput. Sci., 2021)

A Combinatorial Approach to Higher-Order Structure for Polynomial Functors. - Marcelo Fiore; Zeinab Galal; Hugo Paquet (FSCD, 2022)

Free Commutative Monoids in Homotopy Type Theory. - Vikraman Choudhury; Marcelo Fiore (MFPS, 2022)

Quotients, inductive types, and quotient inductive types. - Marcelo P. Fiore; Andrew M. Pitts; S. C. Steenkamp (Log. Methods Comput. Sci., 2022)

Formal metatheory of second-order abstract syntax. - Marcelo Fiore; Dmitrij Szamozvancev (Proc. ACM Program. Lang., 2022)

Semantic analysis of normalisation by evaluation for typed lambda calculus. - Marcelo Fiore (Math. Struct. Comput. Sci., 2022)

Fixpoint constructions in focused orthogonality models of linear logic. - Marcelo Fiore; Zeinab Galal; Farzad Jafarrahmani (MFPS, 2023)

Logical Structure on Inverse Functor Categories. - Marcelo Fiore; Chris Kapulkin; Yufeng Li (CoRR, 2024)

Stabilized profunctors and stable species of structures. - Marcelo Fiore; Zeinab Galal; Hugo Paquet (Log. Methods Comput. Sci., 2024)

An axiomatics and a combinatorial model of creation/annihilation operators. - Marcelo Fiore (Math. Struct. Comput. Sci., 2025)

Formal P-Category Theory and Normalization by Evaluation in Rocq. - David G. Berry; Marcelo P. Fiore (CoRR, 2025)

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution. - Marcelo Fiore; Sanjiv Ranchod (CoRR, 2025)