Door een staking bij bpost kan je online bestelling op dit moment iets langer onderweg zijn dan voorzien. Dringend iets nodig? Onze winkels ontvangen jou met open armen!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Door een staking bij bpost kan je online bestelling op dit moment iets langer onderweg zijn dan voorzien. Dringend iets nodig? Onze winkels ontvangen jou met open armen!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Boeken geschreven door Henk Barendregt
-
A Lambda Calculus Satellite
Henk Barendregt, Giulio Manzonetto
- Hardcover | Engels
- In 1936 the notion of intuitive computability was operationalized in two different ways: via Turing machines and via lambda-calculus. The difference c... Lees meer
€ 51,95Levering 1 à 2 weken€ 51,95Levering 1 à 2 weken -
Lambda Calculus with Types
Henk Barendregt, Wil Dekkers, Richard Statman
- Hardcover | Engels | Perspectives in Logic
- This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical be... Lees meer
€ 105,45Levering 1 à 2 weken€ 105,45Levering 1 à 2 weken -
The Lambda Calculus. Its Syntax and Semantics
Henk Barendregt
- Paperback | Engels | Studies in Logic
- The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with w... Lees meer
€ 46,95Levering 2 à 3 weken€ 46,95Levering 2 à 3 weken -
A Lambda Calculus Satellite
Henk Barendregt, Giulio Manzonetto
- Paperback | Engels
- In 1936 the notion of intuitive computability was operationalized in two different ways: via Turing machines and via lambda-calculus. The difference c... Lees meer
€ 41,45Levering 1 à 2 weken€ 41,45Levering 1 à 2 weken
4 van 4 resultaten getoond