Lambda calculus : its syntax and semantics
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: 30/8/2024 09:00