BARENDREGT, H. P. Lambda calculus : its syntax and semantics. Rev. ed. Amsterdam: Elsevier, 1998, xv, 621 s. ISBN 0-444-86748-1.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Lambda calculus : its syntax and semantics
Authors BARENDREGT, H. P.
Edition Rev. ed. Amsterdam, xv, 621 s. 1998.
Publisher Elsevier
Other information
ISBN 0-444-86748-1
Changed by The record has been imported from the library system. Changed: 12/4/2000 18:17.
PrintDisplayed: 7/5/2024 12:25