Marcelo Fiore
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LICS | Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution. | Marcelo Fiore, Sanjiv Ranchod |
| 2022 | FSCD | A Combinatorial Approach to Higher-Order Structure for Polynomial Functors. | Marcelo Fiore, Zeinab Galal, Hugo Paquet |
| 2020 | FOSSACS | Relative Full Completeness for Bicategorical Cartesian Closed Structure. | Marcelo Fiore, Philip Saville |
| 2020 | LICS | Algebraic models of simple type theories: A polynomial approach. | Nathanael Arkor, Marcelo Fiore |
| 2020 | LICS | Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure. | Marcelo Fiore, Philip Saville |
| 2019 | LICS | A type theory for cartesian closed bicategories (Extended Abstract). | Marcelo Fiore, Philip Saville |