Lambda Calculus with Types (Perspectives in Logic)
Full Title: | Lambda Calculus with Types (Perspectives in Logic) |
---|---|
ISBN: | 0521766141 |
ISBN13: | 9780521766142 |
List Price: | USD $91.00 |
Authors: |
Barendregt, Henk Dekkers, Wil Statman, Richard |