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}
}
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
Highly Cited
This paper has 85 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 21 references

Coherent Banach Spaces: a continuous denotational semantics

Electr. Notes Theor. Comput. Sci. • 1996
View 10 Excerpts
Highly Influenced

Mathematische Leitfäden

Hans Jarchow. Locally Convex Spaces
B.G. Teubner Stuttgart, • 1981
View 6 Excerpts
Highly Influenced

Technical report

Thomas Ehrhard, Laurent Regnier. The differential lambda-calculus
Institut de Mathématiques de Luminy, • 2001
View 1 Excerpt

volume 2044 of Lecture Notes in Computer Science

Esfandiar Haghverdi. Partially additive categories, fully complete models of linear logic. In The fifth Type Lambda-Calculi, Applications conference
pages 197–216. Springer-Verlag, • 2001
View 1 Excerpt

In Proceedings of the fifteenth Symposium on Logic in Computer Science

Vincent Danos, Russell Harmer. Probabilistic game semantics
IEEE Computer Society Press, • 2000
View 1 Excerpt

Number 53 in Mathematical Surveys and Monographs

Andreas Kriegl, Peter W. Michor. The convenient setting of global analysis
American Mathematical Society, • 1997
View 1 Excerpt

Mathematical Structures in Computer Science

Richard Blute. Hopf algebras, linear logic
6(2):189–217, • 1996
View 2 Excerpts

Similar Papers

Loading similar papers…