Lambda calculus : its syntax and semantics

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

1998

Lambda calculus : its syntax and semantics

BARENDREGT, H. P.

Základní údaje

Originální název

Lambda calculus : its syntax and semantics

Autoři

BARENDREGT, H. P.

Vydání

Rev. ed. Amsterdam, xv, 621 s. 1998

Nakladatel

Elsevier

Další údaje

ISBN

0-444-86748-1

Změněno: 12. 4. 2000 18:17, Záznam byl importován z knihovního systému.

BARENDREGT, H. P. Lambda calculus : its syntax and semantics. Rev. ed. Amsterdam: Elsevier, 1998, xv, 621 s. ISBN 0-444-86748-1.

@article{,
   author = {Barendregt, H. P.},
   address = {Amsterdam},
   edition = {Rev. ed.},
   location = {Amsterdam},
   isbn = {0-444-86748-1},
   publisher = {Elsevier},
   title = {Lambda calculus : its syntax and semantics},
   year = {1998}
}

TY  - JOUR
AU  - Barendregt, H. P.
PY  - 1998
TI  - Lambda calculus : its syntax and semantics
PB  - Elsevier
CY  - Amsterdam
SN  - 0444867481
ER  -

BARENDREGT, H. P. \textit{Lambda calculus : its syntax and semantics}. Rev. ed. Amsterdam: Elsevier, 1998, xv, 621 s. ISBN~0-444-86748-1.