The Work

A Lambda Calculus Satellite

The details

The Author

Henk Barendregt

The offers

View paperback on Amazon View hardback on Amazon