A topological Banach space model of linear logic

• Autoři: KLEISLI H.; KUNZI H.-P; ROSICKÝ J.
• Rok publikování: 1996
• Druh: Článek ve sborníku
• Konference: Categorical Topology
• Fakulta / Pracoviště MU: Přírodovědecká fakulta
• Obor: Obecná matematika
• Popis: Ther is shown that topological Banach balls form a model of linear logic.

Související projekty

• Kategoriální metody teorie struktur a informatiky
• Matematické struktury algebry a geometrie