On Köthe sequence spaces and linear logic

On Köthe sequence spaces and linear logic (2001)

by Thomas Ehrhard

Venue:	Mathematical Structures in Computer Science
Citations:	23 - 9 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	On Köthe sequence spaces and linear logic	INFERENCE
AUTHOR NAME	Thomas Ehrhard	SVM HeaderParse 0.1
AUTHOR AFFIL	Institut de Mathematiques de Luminy	SVM HeaderParse 0.2
AUTHOR ADDR	C.N.R.S. U.P.R. 9016	SVM HeaderParse 0.1
ABSTRACT	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 Kothe sequence spaces. In this setting, the spaces interpreting the exponential have 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 dierential calculus can be combined; we give a few examples of computations. 1	user correction - Legacy Corrections
YEAR	2001	INFERENCE
VENUE	Mathematical Structures in Computer Science	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	579--623	INFERENCE
VOLUME	12	INFERENCE
CITATIONS	23 found	ParsCit 1.0