Stabilized profunctors and stable species of structures
Fiore, Marcelo, Galal, Zeinab, Paquet, Hugo
Published in Logical methods in computer science (01.01.2024)
Published in Logical methods in computer science (01.01.2024)
Get full text
Journal Article
Current status of laparoscopy teaching in gynecology and obstetrics medical residency in Brazil
Fernandes, Carla Ferreira Kikuchi, Ruano, José Maria Cordeiro, Sartori, Marair Gracio Ferreira, Zucchi, Renato Monteiro, Capo, Marcelo Fiore Moutinho
Published in Einstein (São Paulo, Brazil) (01.01.2024)
Published in Einstein (São Paulo, Brazil) (01.01.2024)
Get full text
Journal Article
Quotients, inductive types, and quotient inductive types
Fiore, Marcelo P., Pitts, Andrew M., Steenkamp, S. C.
Published in Logical methods in computer science (01.01.2022)
Published in Logical methods in computer science (01.01.2022)
Get full text
Journal Article
Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
Fiore, Marcelo, Hamana, Makoto
Published in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (01.06.2013)
Published in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (01.06.2013)
Get full text
Conference Proceeding
Mathematical models of computational and combinatorial structures
Get full text
Conference Proceeding
Formal metatheory of second-order abstract syntax
Fiore, Marcelo, Szamozvancev, Dmitrij
Published in Proceedings of ACM on programming languages (01.01.2022)
Published in Proceedings of ACM on programming languages (01.01.2022)
Get full text
Journal Article
Coherence for bicategorical cartesian closed structure
Fiore, Marcelo, Saville, Philip
Published in Mathematical structures in computer science (01.08.2021)
Published in Mathematical structures in computer science (01.08.2021)
Get full text
Journal Article
Free Commutative Monoids in Homotopy Type Theory
Choudhury, Vikraman, Fiore, Marcelo
Published in Electronic Notes in Theoretical Informatics and Computer Science (22.02.2023)
Published in Electronic Notes in Theoretical Informatics and Computer Science (22.02.2023)
Get full text
Journal Article
A type theory for cartesian closed bicategories (Extended Abstract)
Fiore, Marcelo, Saville, Philip
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding