nLab Marcelo Fiore

Selected writings

Selected writings

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, doi:10.1007/978-3-540-73228-0_13]

On higher-order abstract syntax:

On simple type theory:

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

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.