Marcelo P. Fiore

ORCID

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 5

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp
Quotients, inductive types, and quotient inductive types. Log. Methods Comput. Sci. 18 (2) (2022)
Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp
Quotients, inductive types, and quotient inductive types. CoRR (2021)
Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp
Constructing Infinitary Quotient-Inductive Types. FoSSaCS (2020)
Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni
A theory of effects and resources: adjunction models and polarised calculi. POPL (2016)
Marco Devesas Campos, Marcelo P. Fiore
Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization. LFCS (2016)
Marcelo P. Fiore
Analytic functors between presheaf categories over groupoids. Theor. Comput. Sci. 546 (2014)
Marcelo P. Fiore, Sam Staton
Substitution, jumps, and algebraic effects. CSL-LICS (2014)
Marcelo P. Fiore, Ola Mahmoud
Functorial Semantics of Second-Order Algebraic Theories. CoRR (2014)
Marcelo P. Fiore, Makoto Hamana
Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic. LICS (2013)
Marcelo P. Fiore, Marco Devesas Campos
The Algebra of Directed Acyclic Graphs. Computation, Logic, Games, and Quantum Foundations (2013)
Marcelo P. Fiore, Ola Mahmoud
Second-Order Algebraic Theories. CoRR (2013)
Ki Yung Ahn, Tim Sheard, Marcelo P. Fiore, Andrew M. Pitts
. TLCA (2013)
Marcelo P. Fiore
Discrete Generalised Polynomial Functors - (Extended Abstract). ICALP (2) (2012)
Makoto Hamana, Marcelo P. Fiore
A foundation for GADTs and inductive families: dependent polynomial functor approach. WGP@ICFP (2011)
Marcelo P. Fiore, Chung-Kil Hur
On the mathematical synthesis of equational logics Log. Methods Comput. Sci. 7 (3) (2011)
Marcelo P. Fiore, Chung-Kil Hur
Second-Order Equational Logic (Extended Abstract). CSL (2010)
Marcelo P. Fiore, Ola Mahmoud
Second-Order Algebraic Theories - (Extended Abstract). MFCS (2010)
Marcelo P. Fiore, Chung-Kil Hur
Mathematical Synthesis of Equational Deduction Systems. TLCA (2009)
Marcelo P. Fiore, Chung-Kil Hur
On the construction of free algebras for equational systems. Theor. Comput. Sci. 410 (18) (2009)
Marcelo P. Fiore, Sam Staton
A congruence rule format for name-passing process calculi. Inf. Comput. 207 (2) (2009)
Marcelo P. Fiore, Chung-Kil Hur
Term Equational Systems and Logics: (Extended Abstract). MFPS (2008)
Marcelo P. Fiore
Second-Order and Dependently-Sorted Abstract Syntax. LICS (2008)
Marcelo P. Fiore, Chung-Kil Hur
Equational Systems and Free Constructions (Extended Abstract). ICALP (2007)
Marcelo P. Fiore
Preface. MFPS (2007)
Gian Luca Cattani, Marcelo P. Fiore
The Bicategory-Theoretic Solution of Recursive Domain Equations. Electron. Notes Theor. Comput. Sci. 172 (2007)
Marcelo P. Fiore
Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic. TLCA (2007)
Luca Cardelli, Marcelo P. Fiore, Glynn Winskel
Preface. Electron. Notes Theor. Comput. Sci. 172 (2007)
Marcelo P. Fiore, Sam Staton
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics. LICS (2006)
Marcelo P. Fiore, Sam Staton
Comparing operational models of name-passing process calculi. Inf. Comput. 204 (4) (2006)
Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
Remarks on isomorphisms in typed lambda calculi with empty and sum types. Ann. Pure Appl. Log. 141 (1-2) (2006)
Marcelo P. Fiore
Mathematical Models of Computational and Combinatorial Structures. FoSSaCS (2005)
Marcelo P. Fiore, Tom Leinster
An objective representation of the Gaussian integers. J. Symb. Comput. 37 (6) (2004)
Marcelo P. Fiore
Isomorphisms of generic recursive polynomial types. POPL (2004)
Marcelo P. Fiore, Sam Staton
Comparing Operational Models of Name-Passing Process Calculi. CMCS (2004)
Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. POPL (2004)
Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi
A Fully Abstract Model for the [pi]-calculus. Inf. Comput. 179 (1) (2002)
Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. LICS (2002)
Marcelo P. Fiore
Semantic analysis of normalisation by evaluation for typed lambda calculus. PPDP (2002)
Marcelo P. Fiore, Giuseppe Rosolini
Domains in H. Theor. Comput. Sci. 264 (2) (2001)
Marcelo P. Fiore, Daniele Turi
Semantics of Name and Value Passing. LICS (2001)
Marcelo P. Fiore, Martín Abadi
Computing Symbolic Models for Verifying Cryptographic Protocols. CSFW (2001)
Marta Bunge, Marcelo P. Fiore
Unique factorisation lifting functors and categories of linearly-controlled processes. Math. Struct. Comput. Sci. 10 (2) (2000)
Marcelo P. Fiore
Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems. IFIP TCS (2000)
Marcelo P. Fiore, Alex K. Simpson
Lambda Definability with Sums via Grothendieck Logical Relations. TLCA (1999)
Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi
Abstract Syntax and Variable Binding. LICS (1999)
Marcelo P. Fiore
Fibred models of processes. CTCS (1999)
Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel
Weak Bisimulation and Open Maps. LICS (1999)
Marcelo P. Fiore, Kohei Honda
Recursive Types in Games: Axiomatics and Process Representation. LICS (1998)
Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel
A Theory of Recursive Domains with Applications to Concurrency. LICS (1998)
Marcelo P. Fiore, Giuseppe Rosolini
The category of cpos from a synthetic viewpoint. MFPS (1997)
Marcelo P. Fiore
An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions. Math. Struct. Comput. Sci. 7 (5) (1997)
Marcelo P. Fiore, Gordon D. Plotkin, A. John Power
Complete Cuboidal Sets in Axiomatic Domain Theory. LICS (1997)
Marcelo P. Fiore
A Coinduction Principle for Recursive Data Types Based on Bisimulation. Inf. Comput. 127 (2) (1996)
Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi
A Fully-Abstract Model for the pi-Calculus (Extended Abstract). LICS (1996)
Martín Abadi, Marcelo P. Fiore
Syntactic Considerations on Recursive Types. LICS (1996)
Marcelo P. Fiore, Gordon D. Plotkin
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory. CSL (1996)
Marcelo P. Fiore
Order-Enrichment for Categories of Partial Maps. Math. Struct. Comput. Sci. 5 (4) (1995)
Marcelo P. Fiore
Lifting as a KZ-Doctrine. Category Theory and Computer Science (1995)
Marcelo P. Fiore, Gordon D. Plotkin
An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC LICS (1994)
Marcelo P. Fiore
A Coinduction Principle for Recursive Data Types Based on Bisimulation LICS (1993)

Marcelo P. Fiore.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marcelo P. Fiore