TY - CONF
TI - Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
AU - Fiore, Marcelo P.
A2 - Della Rocca, Simona Ronchi
T3 - Lecture Notes in Computer Science
AB - In the first part of the paper I investigate categorical models of multiplicative biadditive intuitionistic linear logic, and note that in them some surprising coherence laws arise. The thesis for the second part of the paper is that these models provide the right framework for investigating differential structure in the context of linear logic. Consequently, within this setting, I introduce a notion of creation operator (as considered by physicists for bosonic Fock space in the context of quantum field theory), provide an equivalent description of creation operators in terms of creation maps, and show that they induce a differential operator satisfying all the basic laws of differentiation (the product and chain rules, the commutation relations, etc.).
C1 - Berlin, Heidelberg
C3 - Typed Lambda Calculi and Applications
DA - 2007///
PY - 2007
DO - 10/c8vgx8
DP - Springer Link
SP - 163
EP - 177
LA - en
PB - Springer
SN - 978-3-540-73228-0
KW - Differential Linear Logic
KW - Differentiation
KW - Linear logic
ER -