scientific article; zbMATH DE number 1058171

MaRDI QIDQ4353290zbMATH OpenFDO

Authors Heinrich Kleisli, Jiří Rosický, Hans Peter Künzi

Publication date 20 July 1998

zbMATH Keywords

adjointnessCartesian closed category of Hausdorff topology spaces and \(k\)-continuous mapscategory of topological Banach ballscotripelmodel of the full linear logic

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Saks spaces and their duals (strict topologies, mixed topologies, two-norm spaces, co-Saks spaces, etc.) (46A70) Categories, functors in functional analysis (46M15) Nonstandard functional analysis (46S20)

Recommendations

• On Köthe sequence spaces and linear logic
• Weak topologies for linear logic
• scientific article; zbMATH DE number 860047
• scientific article; zbMATH DE number 1231517

Cited in

(7)

• Coherent Banach spaces: A continuous denotational semantics
• Weak topologies for linear logic
• scientific article; zbMATH DE number 1231517 (Why is no real title available?)
• scientific article; zbMATH DE number 1279307 (Why is no real title available?)
• On Banach spaces of sequences and free linear logic exponential modality
• On Köthe sequence spaces and linear logic
• Holomorphic models of exponential types in linear logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4353290)