A topological Banach space model of linear logic

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

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