TYTUŁ ARTYKUŁU

Strong Normalization of Program-Indexed Lambda Calculus

AUTORZY
Norihiro Kamide
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2010 / Tom 39 / Numer 1-2
STRONY
65 - 78
ROK
2010
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Norihiro Kamide, Strong Normalization of Program-Indexed Lambda Calculus, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 65 - 78

BIBTEX

Norihiro Kamide. Strong Normalization of Program-Indexed Lambda Calculus. Bulletin of the Section of Logic, 39(1-2):65–78, 2010.

Pokaż kod BibTeX 
@article{bazhum243880,
  author = {Kamide, Norihiro},
  title = {{Strong Normalization of Program-Indexed Lambda Calculus}},
  journal = {Bulletin of the Section of Logic},
  year = {2010},
  volume = {39},
  number = {1-2},
  pages = {65--78},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/243880}
}