Další formáty:
BibTeX
LaTeX
RIS
@article{556953,
author = {Zlatuška, Jiří},
article_number = {5},
issn = {0023-5954},
journal = {Kybernetika},
title = {Normal forms in the typed lambda-calculus with tuple types.},
volume = {21},
year = {1985}
}
TY - JOUR
ID - 556953
AU - Zlatuška, Jiří
PY - 1985
TI - Normal forms in the typed lambda-calculus with tuple types.
JF - Kybernetika
VL - 21
IS - 5
SP - 366-381
EP - 366-381
SN - 00235954
ER -
ZLATUŠKA, Jiří. Normal forms in the typed lambda-calculus with tuple types. \textit{Kybernetika}. 1985, roč.~21, č.~5, s.~366-381. ISSN~0023-5954.
|
