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: 10/8/2020 04:49.
PrintDisplayed: 15/8/2020 19:05