On Köthe sequence spaces and linear logic

DOI10.1017/S0960129502003729zbMath1025.03066OpenAlexW2053791527MaRDI QIDQ4792972

Thomas Ehrhard

Publication date: 17 February 2003

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129502003729

zbMATH Keywords

linear logicHopf algebradifferential calculusCartesian closed categorytyped \(\lambda\)-calculusKöthe sequence spacescategory of locally convex topological vector spacesco-Kleisli category

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categories, functors in functional analysis (46M15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (25)

Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ The differential lambda-calculus ⋮ Cartesian integral categories and contextual integral categories ⋮ The differential \(\lambda \mu\)-calculus ⋮ Differential interaction nets ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ An explicit formula for the free exponential modality of linear logic ⋮ Visible acyclic differential nets. I: Semantics ⋮ Categorical models of the differential λ-calculus ⋮ A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces ⋮ The Scott model of linear logic is the extensional collapse of its relational model ⋮ Mackey-complete spaces and power series – a topological model of differential linear logic ⋮ On Banach spaces of sequences and free linear logic exponential modality ⋮ Deep inference and probabilistic coherence spaces ⋮ Quantum computation: from a programmer's perspective ⋮ Unnamed Item ⋮ Cofree coalgebras and differential linear logic ⋮ Categorical models of the differential \(\lambda\)-calculus revisited ⋮ Intuitionistic differential nets and lambda-calculus ⋮ Probabilistic coherence spaces as a model of higher-order probabilistic computation ⋮ Unnamed Item ⋮ Differential structure, tangent structure, and SDG ⋮ Unnamed Item ⋮ Jets and differential linear logic

This page was built for publication: On Köthe sequence spaces and linear logic