Lambda Calculus with Types
Henk Barendregt, Wil Dekkers, Richard Statman
₹4,511
Author
Books by Henk Barendregt
Showing 1–2 of 2 books
Types for Proofs and Programs
Henk Barendregt, Tobias Nipkow
₹5,576
Author
Showing 1–2 of 2 books
Henk Barendregt, Wil Dekkers, Richard Statman
₹4,511
Henk Barendregt, Tobias Nipkow
₹5,576