Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Rezuş, A. Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types. Stud Logica 103, 1319–1326 (2015). https://doi.org/10.1007/s11225-015-9634-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-015-9634-z