Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic

DOI10.1007/978-3-540-73228-0_13zbMath1215.03072OpenAlexW1505195721MaRDI QIDQ3612629

Marcelo P. Fiore

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73228-0_13

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (22)

Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ Cartesian differential categories as skew enriched categories ⋮ Conflation Confers Concurrency ⋮ Unnamed Item ⋮ An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ Unnamed Item ⋮ Categorical models of the differential λ-calculus ⋮ Coherent differentiation ⋮ The conservation theorem for differential nets ⋮ Mackey-complete spaces and power series – a topological model of differential linear logic ⋮ Integral categories and calculus categories ⋮ Exhaustive generation of atomic combinatorial differential operators ⋮ Cofree coalgebras and differential linear logic ⋮ Convenient antiderivatives for differential linear categories ⋮ Reverse AD at higher types: pure, principled and denotationally correct ⋮ Categorical models of the differential \(\lambda\)-calculus revisited ⋮ Semimodule Enrichment ⋮ Differential algebras in codifferential categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A categorical framework for the quantum harmonic oscillator ⋮ Differential categories revisited

This page was built for publication: Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic