Marcelo P. Fiore

63 papers A* 18B 9C 1Misc 1Journal 18Unranked 15

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