Book review of: H. Barendregt et al., Lambda calculus with types

DOI10.1007/S11225-015-9634-ZzbMATH Open1360.00060OpenAlexW1920096898MaRDI QIDQ897487FDOQ897487

Adrian Rezuş

Publication date: 7 December 2015

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-015-9634-z

Mathematics Subject Classification ID

External book reviews (00A17) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Abstract and axiomatic computability and recursion theory (03D75)

This page was built for publication: Book review of: H. Barendregt et al., Lambda calculus with types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897487)