Marcelo Fiore

代表成果

• Fiore, M., 2025. An axiomatics and a combinatorial model of creation/annihilation operators Mathematical Structures in Computer Science, v. 35 Doi: 10.1017/S0960129524000379
• Fiore, M. and Ranchod, S., 2024 (Accepted for publication). A Finite Algebraic Presentation of Lawvere Theories in the Object-Classifier Topos Theory and Applications of Categories,
• Fiore, M., Galal, Z. and Paquet, H., 2024. STABILIZED PROFUNCTORS AND STABLE SPECIES OF STRUCTURES Logical Methods in Computer Science, v. 20 Doi: 10.46298/lmcs-20(1:17)2024
• Fiore, MP., Pitts, AM. and Steenkamp, SC., 2022 (Accepted for publication). Quotients, inductive types, and quotient inductive types Logical Methods in Computer Science,
• Fiore, M., 2022. Semantic analysis of normalisation by evaluation for typed lambda calculus Mathematical Structures in Computer Science, v. 32 Doi: 10.1017/S0960129522000263
• Fiore, M. and Szamozvancev, D., 2022. Formal Metatheory of Second-Order Abstract Syntax PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v. 6 Doi: 10.1145/3498715
• Fiore, M. and Saville, P., 2021. Coherence for bicategorical cartesian closed structure MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, v. 31 Doi: 10.1017/S0960129521000281
• Fiore, M. and Voevodsky, V., 2020. Lawvere theories and C-systems Proceedings of the American Mathematical Society, v. 148 Doi: 10.1090/proc/14660
• Devesas Campos, M. and Fiore, M., 2020. Classical logic with Mendler induction Journal of Logic and Computation, v. 30 Doi: 10.1093/logcom/exaa004
• Fiore, M., Gambino, N., Hyland, M. and Winskel, G., 2018. Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures Selecta Mathematica, New Series, v. 24 Doi: 10.1007/s00029-017-0361-3