Hoppa till sidans huvudinnehåll

Henk Barendregt – författare

Visar alla böcker från författaren Henk Barendregt.
5 produkter

Lambda Calculus with Types

AvHenk Barendregt,Wil Dekkersm. fl.

Inbunden, Engelska, 2013

1 369 kr

Skickas inom 7-10 vardagar

Lambda Calculus. Its Syntax and Semantics

AvHenk Barendregt

Häftad, Engelska, 2012

379 kr

Skickas inom 5-8 vardagar

Lambda Calculus Satellite

AvHenk Barendregt,Giulio Manzonetto

Häftad, Engelska, 2022

529 kr

Skickas inom 5-8 vardagar

Lambda Calculus Satellite

AvHenk Barendregt,Giulio Manzonetto

Inbunden, Engelska, 2023

669 kr

Skickas inom 5-8 vardagar

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

699 kr

Skickas inom 10-15 vardagar