Henk Barendregt – författare

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

4 produkter

Kategorier

4 produkter

Lambda Calculus with Types
AvHenk Barendregt,Wil Dekkersm. fl.
Inbunden, Engelska, 2013
1 519 kr
Skickas inom 5-8 vardagar
Lambda Calculus. Its Syntax and Semantics
AvHenk Barendregt
Häftad, Engelska, 2012
389 kr
Skickas inom 5-8 vardagar
Lambda Calculus Satellite
AvHenk Barendregt,Giulio Manzonetto
Inbunden, Engelska, 2023
679 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
719 kr
Skickas inom 10-15 vardagar