Lambda kalkul

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

D 1985

Lambda kalkul

ZLATUŠKA, Jiří; T. CHRZ a P. MATERNA

Základní údaje

Originální název

Lambda kalkul

Název anglicky

Lambda-calculus

Autoři

ZLATUŠKA, Jiří; T. CHRZ a P. MATERNA

Vydání

Proc. SOFSEM 85, od s. 195-242, 48 s. 1985

Další údaje

Typ výsledku

Stať ve sborníku

Utajení

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

Označené pro přenos do RIV

Změněno: 23. 8. 2004 12:07, Irena Hudečková

ZLATUŠKA, Jiří; T. CHRZ a P. MATERNA. Lambda kalkul. In Proc. SOFSEM 85. 1985, s. 195-242.

@inproceedings{557009,
   author = {Zlatuška, Jiří and Chrz, T. and Materna, P.},
   booktitle = {Proc. SOFSEM 85},
   pages = {195-242},
   title = {Lambda kalkul},
   year = {1985}
}

TY  - CONF
ID  - 557009
AU  - Zlatuška, Jiří - Chrz, T. - Materna, P.
PY  - 1985
TI  - Lambda kalkul
ER  -

ZLATUŠKA, Jiří; T. CHRZ a P. MATERNA. Lambda kalkul. In \textit{Proc. SOFSEM 85}. 1985, s.~195-242.