# On Köthe Sequence Spaces and Linear Logic

@article{Ehrhard2002OnKS, title={On K{\"o}the Sequence Spaces and Linear Logic}, author={Thomas Ehrhard}, journal={Mathematical Structures in Computer Science}, year={2002}, volume={12}, pages={579-623} }

- Published 2002 in Mathematical Structures in Computer Science
DOI:10.1017/S0960129502003729

We present a category of locally convex topological vector spaces which is a model of propositional classical linear logic, based on the standard concept of Köthe sequence spaces. In this setting, the “of course” connective of linear logic has a quite simple structure of commutative Hopf algebra. The co-Kleisli category of this linear category is a cartesian closed category of entire mappings. This work provides a simple setting where typed λ-calculus and differential calculus can be combined… CONTINUE READING

#### From This Paper

##### Topics from this paper.

#### Citations

##### Publications citing this paper.

Showing 1-10 of 55 extracted citations

## Normal Forms for the Algebraic Lambda-Calculus

View 7 Excerpts

Highly Influenced

## Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic

View 5 Excerpts

Highly Influenced

## A Logical Account for Linear Partial Differential Equations

View 4 Excerpts

Highly Influenced

## On Banach spaces of sequences and free linear logic exponential modality

View 2 Excerpts

Highly Influenced

#### Citation Statistics

#### 86 Citations

Citations per Year

Semantic Scholar estimates that this publication has

**86**citations based on the available data.See our **FAQ** for additional information.

#### References

##### Publications referenced by this paper.

Showing 1-10 of 21 references

## Coherent Banach Spaces: a continuous denotational semantics

View 10 Excerpts

Highly Influenced

## Mathematische Leitfäden

View 6 Excerpts

Highly Influenced

## Technical report

View 1 Excerpt

## volume 2044 of Lecture Notes in Computer Science

View 1 Excerpt

## In Proceedings of the fifteenth Symposium on Logic in Computer Science

View 1 Excerpt

## Number 53 in Mathematical Surveys and Monographs

View 1 Excerpt

## Mathematical Structures in Computer Science

View 2 Excerpts

## The Generating Functions of Lambda Terms

View 2 Excerpts