Marcelo Fiore

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 19

Top Topics

Lambda Calculus

Top Venues

Math. Struct. Comput. Sci.

Publications

Marcelo Fiore, Zeinab Galal, Hugo Paquet
Stabilized profunctors and stable species of structures. Log. Methods Comput. Sci. 20 (1) (2024)
Marcelo Fiore, Zeinab Galal, Farzad Jafarrahmani
Fixpoint constructions in focused orthogonality models of linear logic. CoRR (2023)
Marcelo Fiore, Zeinab Galal, Hugo Paquet
Stabilized profunctors and stable species of structures. CoRR (2023)
Marcelo Fiore, Zeinab Galal, Hugo Paquet
A Combinatorial Approach to Higher-Order Structure for Polynomial Functors. FSCD (2022)
Marcelo Fiore
Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus. CoRR (2022)
Marcelo Fiore
Semantic analysis of normalisation by evaluation for typed lambda calculus. Math. Struct. Comput. Sci. 32 (8) (2022)
Marcelo Fiore, Dmitrij Szamozvancev
Formal Metatheory of Second-Order Abstract Syntax. CoRR (2022)
Marcelo Fiore, Dmitrij Szamozvancev
Formal metatheory of second-order abstract syntax. Proc. ACM Program. Lang. 6 (POPL) (2022)
Vikraman Choudhury, Marcelo Fiore
Free Commutative Monoids in Homotopy Type Theory. CoRR (2021)
Marcelo Fiore, Philip Saville
Coherence for bicategorical cartesian closed structure. Math. Struct. Comput. Sci. 31 (7) (2021)
Marcelo Fiore, Philip Saville
Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure. LICS (2020)
Marcelo Fiore, Philip Saville
Relative Full Completeness for Bicategorical Cartesian Closed Structure. FoSSaCS (2020)
Nathanael Arkor, Marcelo Fiore
Algebraic models of simple type theories: A polynomial approach. LICS (2020)
Marco Devesas Campos, Marcelo Fiore
Classical logic with Mendler induction. J. Log. Comput. 30 (1) (2020)
Nathanael Arkor, Marcelo Fiore
Algebraic models of simple type theories: a polynomial approach. CoRR (2020)
Marcelo Fiore, Andrew M. Pitts, S. C. Steenkamp
Constructing Infinitary Quotient-Inductive Types. CoRR (2019)
Marcelo Fiore, Philip Saville
A type theory for cartesian closed bicategories. CoRR (2019)
Marcelo Fiore, Philip Saville
A type theory for cartesian closed bicategories (Extended Abstract). LICS (2019)
Marcelo Fiore, Philip Saville
List Objects with Algebraic Structure. FSCD (2017)