Lambda calculus : its syntax and semantics

Detailed Information on Publication Record

1998

BARENDREGT, H. P.

BARENDREGT, H. P.

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

Elsevier

0-444-86748-1

Změněno: 12/4/2000 18:17, The record has been imported from the library system.

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

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