Temporalizing Linear Logic

Kamide, Norihiro

TYTUŁ ARTYKUŁU

Temporalizing Linear Logic

AUTORZY: Norihiro Kamide
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 2007 / Tom 36 / Numer 3-4
STRONY: 173 - 182
ROK: 2007
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY TEKST

Norihiro Kamide, Temporalizing Linear Logic, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 3-4, s. 173 - 182

BIBTEX

Norihiro Kamide. Temporalizing Linear Logic. Bulletin of the Section of Logic, 36(3-4):173–182, 2007.

Pokaż kod BibTeX

@article{bazhum242903,
  author = {Kamide, Norihiro},
  title = {{Temporalizing Linear Logic}},
  journal = {Bulletin of the Section of Logic},
  year = {2007},
  volume = {36},
  number = {3-4},
  pages = {173--182},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/242903}
}