Models of linear logic
Zapiski naucnych seminarov POMI (1995)
- Volume: 220, Issue: 1, page 23-35
Access Full Article
top
How to cite
topБергерон, М., and Хатчер, У.. "Models of linear logic." Zapiski naucnych seminarov POMI 220.1 (1995): 23-35. <http://eudml.org/doc/68547>.
@article{Бергерон1995,
author = {Бергерон, М., Хатчер, У.},
journal = {Zapiski naucnych seminarov POMI},
keywords = {models for subsystems of linear logic; nonmodal linear logic; positive linear logic; generic model; minimal linear logic; multiset theory},
language = {eng},
number = {1},
pages = {23-35},
publisher = {Nauka},
title = {Models of linear logic},
url = {http://eudml.org/doc/68547},
volume = {220},
year = {1995},
}
TY - JOUR
AU - Бергерон, М.
AU - Хатчер, У.
TI - Models of linear logic
JO - Zapiski naucnych seminarov POMI
PY - 1995
PB - Nauka
VL - 220
IS - 1
SP - 23
EP - 35
LA - eng
KW - models for subsystems of linear logic; nonmodal linear logic; positive linear logic; generic model; minimal linear logic; multiset theory
UR - http://eudml.org/doc/68547
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.