Browse
FAQ

Author

Richard Statman

1 book found

Cover of Lambda Calculus with Types

Lambda Calculus with Types

Henk Barendregt, Wil Dekkers, Richard Statman · First published 2013