Humburger Icon
Logo1
Login & Sign up
Bookswagon-24x7 online bookstore
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Categories
Close

Refine your Search

By Price

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.

9 results found
List viewGrid view
Sort By:
1.
The Dark Side of the Mirror30 %
The Dark Side of the Mirror
By: David Brazier, Henk Barendregt
Publisher: Windhorse Publications
5.0 (2)
₹1,927
₹1,349
Binding:
Paperback
Release:
19 Mar 2019
Language:
English
Available
Ships within 12-14 Days Explain..
2.
A Lambda Calculus Satellite7 % NR
A Lambda Calculus Satellite
By: Henk Barendregt, Giulio Manzonetto
Publisher: College Publications
No Review Yet
₹4,459
₹4,147
Binding:
Hardback
Release:
12 Jan 2023
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
3.
A Lambda Calculus SatelliteNR
A Lambda Calculus Satellite
By: Henk Barendregt, Giulio Manzonetto
Publisher: College Publications
No Review Yet
₹3,154
Binding:
Paperback
Release:
05 Oct 2022
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
4.
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 19711 % NR
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
By: Henk Barendregt
Publisher: Independently Published
No Review Yet
₹1,776
₹1,758
Binding:
Paperback
Release:
22 Dec 2020
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
5.
The Lambda Calculus. Its Syntax and Semantics20 % NR
The Lambda Calculus. Its Syntax and Semantics
By: Henk Barendregt
Publisher: College Publications
4.0 (7)
₹3,071
₹2,457
Binding:
Paperback
Release:
30 Apr 2012
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
6.
Lambda Calculus with TypesNR
Lambda Calculus with Types
By: Henk Barendregt, Wil Dekkers, Richard Statman
Publisher: Cambridge University Press
No Review Yet
₹9,651
Binding:
Hardback
Release:
20 Jun 2013
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
7.
Types for Proofs and ProgramsNR
Types for Proofs and Programs
By: Tobias Nipkow, Henk Barendregt
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,313
Binding:
Paperback
Release:
20 May 1994
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
8.
Lambda Calculus with Types32 % NR
Lambda Calculus with Types
By: Henk Barendregt, Wil Dekkers, Richard Statman
Publisher: Cambridge University Press
No Review Yet
₹10,080
₹6,865
Binding:
Digital download and online
Release:
05 Aug 2013
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
9.
Popular Music in Southeast Asia28 % NR
Popular Music in Southeast Asia
By: Henk Schulte Nordholt, Peter Keppy, Bart Barendregt
Publisher: Amsterdam University Press
No Review Yet
₹3,906
₹2,812
Binding:
Paperback
Release:
27 Sep 2017
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA