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

View PDF

Download Links

by Thomas Ehrhard
Venue:Mathematical Structures in Computer Science
Citations:38 - 11 self

Document Versions

On Köthe sequence spaces and linear logic –Thomas Ehrhard — 2001 — Mathematical Structures in Computer Science
On Köthe sequence spaces and linear logic –Thomas Ehrhard — 2001 — Mathematical Structures in Computer Science