Normal forms in the typed lambda-calculus with tuple types.

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

J 1985

Normal forms in the typed lambda-calculus with tuple types.

ZLATUŠKA, Jiří

Základní údaje

Originální název

Normal forms in the typed lambda-calculus with tuple types.

Název anglicky

Normal forms in the typed lambda-calculus with tuple types.

Autoři

ZLATUŠKA, Jiří

Vydání

Kybernetika, 1985, 0023-5954

Další údaje

Typ výsledku

Článek v odborném periodiku

Utajení

není předmětem státního či obchodního tajemství

Změněno: 17. 8. 2004 09:55, Irena Hudečková

ZLATUŠKA, Jiří. Normal forms in the typed lambda-calculus with tuple types. Kybernetika. 1985, roč. 21, č. 5, s. 366-381. ISSN 0023-5954.

@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.