Henk Barendregt – författare

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

4 produkter

1. 

   Lambda Calculus with Types

   Av Henk Barendregt, Wil Dekkers m. fl.

   Inbunden, 2013

   1819 kr

   Lägg i varukorg

2. 

   Lambda Calculus. Its Syntax and Semantics

   Av Henk Barendregt

   Häftad, 2012

   429 kr

   Lägg i varukorg

3. 

   Lambda Calculus Satellite

   Av Henk Barendregt, Giulio Manzonetto

   Inbunden, 2023

   679 kr

   Lägg i varukorg

4. 

   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, 1994

   709 kr

   Lägg i varukorg