Hoppa till sidans huvudinnehåll

Henk Barendregt - Böcker

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

Lambda Calculus with Types

Av Henk Barendregt, Wil Dekkers m. fl

Inbunden, Engelska, 2013

1 369 kr

Skickas inom 10-15 vardagar

Lambda Calculus. Its Syntax and Semantics

Av Henk Barendregt

Häftad, Engelska, 2012

379 kr

Skickas inom 7-10 vardagar

Lambda Calculus Satellite

Av Henk Barendregt, Giulio Manzonetto

Häftad, Engelska, 2022

539 kr

Skickas inom 7-10 vardagar

Lambda Calculus Satellite

Av Henk Barendregt, Giulio Manzonetto

Inbunden, Engelska, 2023

669 kr

Skickas inom 7-10 vardagar

Types for Proofs and Programs

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

Av Henk Barendregt, Tobias Nipkow

Häftad, Engelska, 1994

709 kr

Skickas inom 10-15 vardagar