Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types

This is a preview of subscription content, access via your institution.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Adrian Rezuş.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

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

Download citation