Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
A Simplified Semantics for a Fragment of Intuitionistic Linear Logic
Zacytuj
CZYSTY TEKST
Norihiro Kamide, A Simplified Semantics for a Fragment of Intuitionistic Linear Logic, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 123 - 129
BIBTEX
Norihiro Kamide. A Simplified Semantics for a Fragment of Intuitionistic Linear Logic. Bulletin of the Section of Logic, 32(3):123–129, 2003.
Pokaż kod BibTeX
@article{bazhum241284,
author = {Kamide, Norihiro},
title = {{A Simplified Semantics for a Fragment of Intuitionistic Linear Logic}},
journal = {Bulletin of the Section of Logic},
year = {2003},
volume = {32},
number = {3},
pages = {123--129},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/241284}
}