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
AED51
Binding:
Paperback
Release:
05 Oct 2022
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
2.
The Dark Side of the Mirror
The Dark Side of the Mirror
By: David Brazier, Henk Barendregt
Publisher: Windhorse Publications
No Review Yet
AED29
Binding:
Paperback
Release:
19 Mar 2019
Language:
English
International Edition
Ships within 8-10 Days Explain..
Free Shipping in UAE.
3.
The Lambda Calculus. Its Syntax and Semantics
The Lambda Calculus. Its Syntax and Semantics
By: Henk Barendregt
Publisher: College Publications
No Review Yet
AED41
Binding:
Paperback
Release:
30 Apr 2012
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
4.
A Lambda Calculus Satellite
A Lambda Calculus Satellite
By: Henk Barendregt, Giulio Manzonetto
Publisher: College Publications
No Review Yet
AED65
Binding:
Hardback
Release:
12 Jan 2023
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
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
AED31
Binding:
Paperback
Release:
22 Dec 2020
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
6.
Lambda Calculus with Types
Lambda Calculus with Types
By: Henk Barendregt, Wil Dekkers, Richard Statman
Publisher: Cambridge University Press
No Review Yet
AED139
Binding:
Hardback
Release:
20 Jun 2013
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
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
AED79
Binding:
Paperback
Release:
20 May 1994
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
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
AED53
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
AED53
Binding:
Digital (delivered electronically)
Release:
01 Oct 2025
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
Types for Proofs and Programs
Types for Proofs and Programs
By: Henk Barendregt, Tobias Nipkow (Technische Universitat Munchen)
Publisher: Springer
No Review Yet
AED29
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
11.
Lambda Calculus with Types
Lambda Calculus with Types
By: Henk Barendregt, Wil Dekkers, Richard Statman
Publisher: Cambridge University Press
No Review Yet
AED162
Binding:
Digital download and online
Release:
05 Aug 2013
Language:
English
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
AED141
Binding:
Graphic Novel
Release:
01 Jan 2013
Out of Stock
Notify me when this book is in stockNotify Me
13.
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
AED72
Binding:
Digital download
Release:
27 Sep 2017
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
14.
The Dark Side of the Mirror
The Dark Side of the Mirror
By: David Brazier, Henk Barendregt
Publisher: Windhorse Publications
No Review Yet
AED21
Binding:
Digital (delivered electronically)
Release:
19 Mar 2019
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
AED41
Binding:
Paperback
Release:
27 Sep 2017
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found