Henk Barendregt – författare

Visar alla böcker från författaren .

4 produkter

Kategorier

4 produkter

Henk Barendregt, Wil Dekkers, Richard Statman - Lambda Calculus with Types, Inbunden

Lambda Calculus with Types

AvHenk Barendregt,Wil Dekkersm. fl.

Inbunden, Engelska, 2013

1 409 kr

Skickas inom 7-10 vardagar

Henk Barendregt - Lambda Calculus. Its Syntax and Semantics, Häftad

Lambda Calculus. Its Syntax and Semantics

AvHenk Barendregt

Häftad, Engelska, 2012

389 kr

Skickas inom 5-8 vardagar

Henk Barendregt, Giulio Manzonetto - Lambda Calculus Satellite, Inbunden

Lambda Calculus Satellite

AvHenk Barendregt,Giulio Manzonetto

Inbunden, Engelska, 2023

679 kr

Skickas inom 5-8 vardagar

Henk Barendregt, Tobias Nipkow - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

AvHenk Barendregt,Tobias Nipkow

Häftad, Engelska, 1994

709 kr

Skickas inom 10-15 vardagar