Studia Logica

, Volume 103, Issue 6, pp 1319–1326 | Cite as

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

Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 2015

Authors and Affiliations

  1. 1.NijmegenThe Netherlands

Personalised recommendations