Buy books written by Henk Barendregt Available at Bookswagon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Henk Barendregt

Henk BarendregtHenk Barendregt holds the chair on the Foundations of Mathematics and Computer Science at Radboud University, Nijmegen, The Netherlands.

15 results found
List viewGrid view
Sort By:
1.
A Lambda Calculus Satellite
A Lambda Calculus Satellite
By: Henk Barendregt, Giulio Manzonetto
Publisher: College Publications
No Review Yet
AED179
Binding:
Paperback
Release:
05 Oct 2022
Language:
English
International Edition
Ships within 16-18 Days Explain..
2.
The Dark Side of the Mirror
The Dark Side of the Mirror
By: David Brazier, Henk Barendregt
Publisher: Windhorse Publications
No Review Yet
AED90
Binding:
Paperback
Release:
19 Mar 2019
Language:
English
International Edition
Ships within 22-24 Days Explain..
3.
The Lambda Calculus. Its Syntax and Semantics
The Lambda Calculus. Its Syntax and Semantics
By: Henk Barendregt
Publisher: College Publications
No Review Yet
AED147
Binding:
Paperback
Release:
30 Apr 2012
Language:
English
International Edition
Ships within 18-20 Days Explain..
4.
A Lambda Calculus Satellite
A Lambda Calculus Satellite
By: Henk Barendregt, Giulio Manzonetto
Publisher: College Publications
No Review Yet
AED215
Binding:
Hardback
Release:
12 Jan 2023
Language:
English
International Edition
Ships within 14-16 Days Explain..
5.
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
By: Henk Barendregt
Publisher: Independently Published
No Review Yet
AED100
Binding:
Paperback
Release:
22 Dec 2020
Language:
English
International Edition
Ships within 12-14 Days Explain..
6.
Lambda Calculus with Types
Lambda Calculus with Types
By: Henk Barendregt, Wil Dekkers, Richard Statman
Publisher: Cambridge University Press
No Review Yet
AED465
Binding:
Hardback
Release:
20 Jun 2013
Language:
English
International Edition
Ships within 12-14 Days Explain..
7.
Types for Proofs and Programs
Types for Proofs and Programs
By: Tobias Nipkow, Henk Barendregt
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED268
Binding:
Paperback
Release:
20 May 1994
Language:
English
International Edition
Ships within 16-18 Days Explain..
8.
Popular Music in Southeast Asia
Popular Music in Southeast Asia
By: Henk Schulte Nordholt, Peter Keppy, Bart Barendregt
Publisher: Taylor & Francis Ltd
No Review Yet
AED191
Binding:
Digital (delivered electronically)
Release:
01 Oct 2025
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
9.
Popular Music in Southeast Asia
Popular Music in Southeast Asia
By: Henk Schulte Nordholt, Peter Keppy, Bart Barendregt
Publisher: Taylor & Francis Ltd
No Review Yet
AED191
Binding:
Digital (delivered electronically)
Release:
01 Oct 2025
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
The Dark Side of the Mirror
The Dark Side of the Mirror
By: David Brazier, Henk Barendregt
Publisher: Windhorse Publications
No Review Yet
AED75
Binding:
Digital (delivered electronically)
Release:
19 Mar 2019
Out of Stock
Notify me when this book is in stockNotify Me
11.
Types for Proofs and Programs
Types for Proofs and Programs
By: Henk Barendregt, Tobias Nipkow (Technische Universitat Munchen)
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
12.
Lambda Calculus with Types
Lambda Calculus with Types
By: Henk Barendregt, Wil Dekkers, Richard Statman
Publisher: Cambridge University Press
No Review Yet
AED586
Binding:
Digital download and online
Release:
05 Aug 2013
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
13.
Lambda Calculus with Types
Lambda Calculus with Types
By: Henk Barendregt, Wil Dekkers, Richard Statman
Publisher: Cambridge University Press
No Review Yet
AED511
Binding:
Graphic Novel
Release:
01 Jan 2013
Out of Stock
Notify me when this book is in stockNotify Me
14.
Popular Music in Southeast Asia
Popular Music in Southeast Asia
By: Henk Schulte Nordholt, Peter Keppy, Bart Barendregt
Publisher: Amsterdam University Press
No Review Yet
AED259
Binding:
Digital download
Release:
27 Sep 2017
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
Popular Music in Southeast Asia
Popular Music in Southeast Asia
By: Henk Schulte Nordholt, Peter Keppy, Bart Barendregt
Publisher: Amsterdam University Press
No Review Yet
AED150
Binding:
Paperback
Release:
27 Sep 2017
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found