Read-alikes and related books

Books like Lambda Calculus with Types

24 titles for readers of Lambda Calculus with Types by Hendrik Pieter Barendregt, selected for shared themes: Discrete Mathematics, Calculus, Logic, and Mathematics.

Lambda Calculus with Types

Top related books to Lambda Calculus with Types

Read-alikes chosen for how well they continue the mood, themes, and voice of Lambda Calculus with Types.

Fans of Lambda Calculus with Types by Hendrik Pieter Barendregt will find 24 titles here, all united by Discrete Mathematics, Calculus, Logic. Authors represented include John N. Crossley, Bruce F. Torrence, Howard Straubing, Sandeep Nagar, and others.

Explore more

An informational database of English-language books