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

by Thomas Ehrhard
Venue:Mathematical Structures in Computer Science