A topological Banach space model of linear logic

• Authors: KLEISLI H.; KUNZI H.-P; ROSICKÝ J.
• Year of publication: 1996
• Type: Article in Proceedings
• Conference: Categorical Topology
• MU Faculty or unit: Faculty of Science
• Field: General mathematics
• Description: Ther is shown that topological Banach balls form a model of linear logic.

Related projects

• Categorical Methods in Theory of Structures and Computer Science
• Mathematical structures of algebra and geometry