The lambda calculus, its syntax and semantics
BARENDREGT, Henk. The lambda calculus, its syntax and semantics. London: College Publications, 2012, xv, 621. ISBN 9781848900660. |
Other formats:
BibTeX
LaTeX
RIS
|
Basic information | |
---|---|
Original name | The lambda calculus, its syntax and semantics |
Authors | BARENDREGT, Henk. |
Edition | London, xv, 621, 2012. |
Publisher | College Publications |
Other information | |
---|---|
ISBN | 9781848900660 |
Changed by | The record has been imported from the library system. Changed: 8/8/2022 14:30. |
PrintDisplayed: 8/9/2024 03:54