nLab Marcelo Fiore (changes)

Showing changes from revision #5 to #6: Added | ~~Removed~~ | ~~Chan~~ged

website

Selected writings

pdf

Nathanael Arkor, Marcelo Fiore, Algebraic models of simple type theories: a polynomial approach, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, July 2020, Pages 88-101 (doi:10.1145/3373718.3394771, arXiv:2006.16949)

On linear logic:

Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic, in Typed Lambda Calculi and Applications. TLCA 2007, Lecture Notes in Computer Science 4583 [[pdf](http://www.cl.cam.ac.uk/~mpf23/papers/Types/diff.pdf), doi:10.1007/978-3-540-73228-0_13]

On higher-order abstract syntax:

Marcelo Fiore, Gordon Plotkin, Daniele Turi. Abstract syntax and variable binding, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158). IEEE (1999) [[doi:10.1109/LICS.1999.782615](https://doi.org/10.1109/LICS.1999.782615), pdf, webpage]
Marcelo Fiore, Chung-Kil Hur. Second-order equational logic, International Workshop on Computer Science Logic. Springer, Lecture Notes in Computer Science 6247 (2010) [[doi:10.1007/978-3-642-15205-4_26](https://doi.org/10.1007/978-3-642-15205-4_26), pdf]

On simple type theory:

Nathanael Arkor, Marcelo Fiore, Algebraic models of simple type theories: a polynomial approach, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, July 2020, Pages 88-101 (doi:10.1145/3373718.3394771, arXiv:2006.16949)

On quotient types, inductive types and inductive-inductive types:

Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp, Quotients, inductive types, and quotient inductive types, Logical Methods in Computer Science 18 2 (2022) lmcs:7076 [[arXiv:2101.02994](https://arxiv.org/abs/2101.02994), doi:10.46298/lmcs-18(2:15)2022]

category: people

Last revised on July 13, 2023 at 13:38:01. See the history of this page for a list of all contributions to it.