Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{203437,
author = {Kleisli, H. and Kunzi, H.andP and Rosický, J.},
address = {Dordrecht},
booktitle = {Categorical Topology},
language = {eng},
location = {Dordrecht},
isbn = {0-7923-3822-7},
pages = {155-162},
publisher = {Kluwer Academic Publishers},
title = {A topological Banach space model of linear logic},
year = {1996}
}
TY - JOUR
ID - 203437
AU - Kleisli, H. - Kunzi, H.-P - Rosický, J.
PY - 1996
TI - A topological Banach space model of linear logic
PB - Kluwer Academic Publishers
CY - Dordrecht
SN - 0792338227
N2 - Ther is shown that topological Banach balls form a model of linear logic.
ER -
KLEISLI, H., H.-P KUNZI a J. ROSICKÝ. A topological Banach space model of linear logic. editor E.Giuli. In \textit{Categorical Topology}. Dordrecht: Kluwer Academic Publishers, 1996, s.~155-162. ISBN~0-7923-3822-7.
|
