A topological Banach space model of linear logic

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Science. Official publication website can be found on muni.cz.

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
Citation
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