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

DOI10.1007/S11225-015-9634-ZMaRDI QIDQ897487zbMATH OpenOpenAlexFDO

Authors 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)