Marcelo P. Fiore

According to our database, Marcelo P. Fiore authored at least 71 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Stabilized profunctors and stable species of structures.

Marcelo Fiore, Zeinab Galal, Hugo Paquet

Log. Methods Comput. Sci., 2024

Logical Structure on Inverse Functor Categories.

Marcelo Fiore, Chris Kapulkin, Yufeng Li

CoRR, 2024

2023

Fixpoint constructions in focused orthogonality models of linear logic.

Marcelo Fiore, Zeinab Galal, Farzad Jafarrahmani

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

2022

Semantic analysis of normalisation by evaluation for typed lambda calculus.

Marcelo Fiore

Math. Struct. Comput. Sci., September, 2022

Formal metatheory of second-order abstract syntax.

Marcelo Fiore, Dmitrij Szamozvancev

Proc. ACM Program. Lang., 2022

Quotients, inductive types, and quotient inductive types.

Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp

Log. Methods Comput. Sci., 2022

Free Commutative Monoids in Homotopy Type Theory.

Vikraman Choudhury, Marcelo Fiore

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

A Combinatorial Approach to Higher-Order Structure for Polynomial Functors.

Marcelo Fiore, Zeinab Galal, Hugo Paquet

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Coherence for bicategorical cartesian closed structure.

Marcelo Fiore, Philip Saville

Math. Struct. Comput. Sci., 2021

2020

Classical logic with Mendler induction.

Marco Devesas Campos, Marcelo Fiore

J. Log. Comput., 2020

Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure.

Marcelo Fiore, Philip Saville

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Algebraic models of simple type theories: A polynomial approach.

Nathanael Arkor, Marcelo Fiore

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Relative Full Completeness for Bicategorical Cartesian Closed Structure.

Marcelo Fiore, Philip Saville

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Constructing Infinitary Quotient-Inductive Types.

Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019

A type theory for cartesian closed bicategories.

Marcelo Fiore, Philip Saville

CoRR, 2019

A type theory for cartesian closed bicategories (Extended Abstract).

Marcelo Fiore, Philip Saville

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2017

List Objects with Algebraic Structure.

Marcelo Fiore, Philip Saville

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

2016

A theory of effects and resources: adjunction models and polarised calculi.

Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization.

Marco Devesas Campos, Marcelo P. Fiore

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

2014

Analytic functors between presheaf categories over groupoids.

Marcelo P. Fiore

Theor. Comput. Sci., 2014

Functorial Semantics of Second-Order Algebraic Theories.

Marcelo P. Fiore, Ola Mahmoud

CoRR, 2014

Substitution, jumps, and algebraic effects.

Marcelo P. Fiore, Sam Staton

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Second-Order Algebraic Theories.

Marcelo P. Fiore, Ola Mahmoud

CoRR, 2013

System F _<i>i</i>.

Ki Yung Ahn, Tim Sheard, Marcelo P. Fiore, Andrew M. Pitts

Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic.

Marcelo P. Fiore, Makoto Hamana

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

The Algebra of Directed Acyclic Graphs.

Marcelo P. Fiore, Marco Devesas Campos

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Discrete Generalised Polynomial Functors - (Extended Abstract).

Marcelo P. Fiore

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

2011

On the mathematical synthesis of equational logics

Marcelo P. Fiore, Chung-Kil Hur

Log. Methods Comput. Sci., 2011

A foundation for GADTs and inductive families: dependent polynomial functor approach.

Makoto Hamana, Marcelo P. Fiore

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

2010

Second-Order Algebraic Theories - (Extended Abstract).

Marcelo P. Fiore, Ola Mahmoud

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

Second-Order Equational Logic (Extended Abstract).

Marcelo P. Fiore, Chung-Kil Hur

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009

On the construction of free algebras for equational systems.

Marcelo P. Fiore, Chung-Kil Hur

Theor. Comput. Sci., 2009

A congruence rule format for name-passing process calculi.

Marcelo P. Fiore, Sam Staton

Inf. Comput., 2009

Mathematical Synthesis of Equational Deduction Systems.

Marcelo P. Fiore, Chung-Kil Hur

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

2008

Term Equational Systems and Logics: (Extended Abstract).

Marcelo P. Fiore, Chung-Kil Hur

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

Second-Order and Dependently-Sorted Abstract Syntax.

Marcelo P. Fiore

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

2007

Preface.

Marcelo P. Fiore

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

The Bicategory-Theoretic Solution of Recursive Domain Equations.

Gian Luca Cattani, Marcelo P. Fiore

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Preface.

Luca Cardelli, Marcelo P. Fiore, Glynn Winskel

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic.

Marcelo P. Fiore

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

Equational Systems and Free Constructions (Extended Abstract).

Marcelo P. Fiore, Chung-Kil Hur

Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

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

A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics.

Marcelo P. Fiore, Sam Staton

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

2005

Mathematical Models of Computational and Combinatorial Structures.

Marcelo P. Fiore

Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004

An objective representation of the Gaussian integers.

Marcelo P. Fiore, Tom Leinster

J. Symb. Comput., 2004

Comparing Operational Models of Name-Passing Process Calculi.

Marcelo P. Fiore, Sam Staton

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Isomorphisms of generic recursive polynomial types.

Marcelo P. Fiore

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums.

Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

2002

A Fully Abstract Model for the [pi]-calculus.

Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi

Inf. Comput., 2002

2001

Domains in H.

Marcelo P. Fiore, Giuseppe Rosolini

Theor. Comput. Sci., 2001

Semantics of Name and Value Passing.

Marcelo P. Fiore, Daniele Turi

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

Computing Symbolic Models for Verifying Cryptographic Protocols.

Marcelo P. Fiore, Martín Abadi

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

2000

Unique factorisation lifting functors and categories of linearly-controlled processes.

Marta Bunge, Marcelo P. Fiore

Math. Struct. Comput. Sci., 2000

Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems.

Marcelo P. Fiore

Proceedings of the Theoretical Computer Science, 2000

1999

Fibred models of processes.

Marcelo P. Fiore

Proceedings of the Conference on Category Theory and Computer Science, 1999

Lambda Definability with Sums via Grothendieck Logical Relations.

Marcelo P. Fiore, Alex K. Simpson

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

Abstract Syntax and Variable Binding.

Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

Weak Bisimulation and Open Maps.

Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1998

Recursive Types in Games: Axiomatics and Process Representation.

Marcelo P. Fiore, Kohei Honda

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

A Theory of Recursive Domains with Applications to Concurrency.

Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1997

An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions.

Marcelo P. Fiore

Math. Struct. Comput. Sci., 1997

The category of cpos from a synthetic viewpoint.

Marcelo P. Fiore, Giuseppe Rosolini

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Complete Cuboidal Sets in Axiomatic Domain Theory.

Marcelo P. Fiore, Gordon D. Plotkin, A. John Power

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1996

A Coinduction Principle for Recursive Data Types Based on Bisimulation.

Marcelo P. Fiore

Inf. Comput., 1996

A Fully-Abstract Model for the pi-Calculus (Extended Abstract).

Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi

Proceedings of the Proceedings, 1996

Syntactic Considerations on Recursive Types.

Martín Abadi, Marcelo P. Fiore

Proceedings of the Proceedings, 1996

An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory.

Marcelo P. Fiore, Gordon D. Plotkin

Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1995

Order-Enrichment for Categories of Partial Maps.

Marcelo P. Fiore

Math. Struct. Comput. Sci., 1995

Lifting as a KZ-Doctrine.

Marcelo P. Fiore

Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995

1994

Axiomatic domain theory in categories of partial maps.

Marcelo P. Fiore

PhD thesis, 1994

An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC

Marcelo P. Fiore, Gordon D. Plotkin

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994