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

16 results found

Sort By:

The Dark Side of the Mirror

By: David Brazier, Henk Barendregt

Publisher: Windhorse Publications

5.0

(2)

AED104

Binding:	Paperback
Release:	19 Mar 2019
Language:	English

International Edition

Ships within 10-12 Days Explain..

The Lambda Calculus. Its Syntax and Semantics

By: Henk Barendregt

Publisher: College Publications

4.0

(7)

AED150

Binding:	Paperback
Release:	30 Apr 2012
Language:	English

International Edition

Ships within 10-12 Days Explain..

A Lambda Calculus Satellite

By: Henk Barendregt, Giulio Manzonetto

Publisher: College Publications

No Review Yet

AED230

Binding:	Hardback
Release:	12 Jan 2023
Language:	English

International Edition

Ships within 10-12 Days Explain..

Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

By: Henk Barendregt

Publisher: Independently Published

No Review Yet

AED118

Binding:	Paperback
Release:	22 Dec 2020
Language:	English

International Edition

Ships within 10-12 Days Explain..

Lambda Calculus with Types

By: Henk Barendregt, Wil Dekkers, Richard Statman

Publisher: Cambridge University Press

No Review Yet

AED496

Binding:	Hardback
Release:	20 Jun 2013
Language:	English

International Edition

Ships within 10-12 Days Explain..

Types for Proofs and Programs

By: Tobias Nipkow, Henk Barendregt

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED275

Binding:	Paperback
Release:	20 May 1994
Language:	English

International Edition

Ships within 10-12 Days Explain..

Popular Music in Southeast Asia

By: Henk Schulte Nordholt, Peter Keppy, Bart Barendregt

Publisher: Taylor & Francis Ltd

No Review Yet

AED160

Binding:	Digital (delivered electronically)
Release:	01 Oct 2025
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

Popular Music in Southeast Asia

By: Henk Schulte Nordholt, Peter Keppy, Bart Barendregt

Publisher: Taylor & Francis Ltd

No Review Yet

AED160

Binding:	Digital (delivered electronically)
Release:	01 Oct 2025
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

A Lambda Calculus Satellite

By: Henk Barendregt, Giulio Manzonetto

Publisher: College Publications

No Review Yet

AED110

Binding:	Paperback
Release:	05 Oct 2022
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

10.

Lambda Calculus with Types

By: Henk Barendregt, Wil Dekkers, Richard Statman

Publisher: Cambridge University Press

No Review Yet

AED0

Binding:	Digital download and online
Release:	31 Jul 2013
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

11.

Lambda Calculus with Types

By: Henk Barendregt, Wil Dekkers, Richard Statman

Publisher: Cambridge University Press

No Review Yet

AED492

Binding:	Digital download and online
Release:	05 Aug 2013
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

12.

Types for Proofs and Programs

By: Henk Barendregt, Tobias Nipkow (Technische Universitat Munchen)

Publisher: Springer

No Review Yet

AED88

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

13.

Lambda Calculus with Types

By: Henk Barendregt, Wil Dekkers, Richard Statman

Publisher: Cambridge University Press

No Review Yet

AED429

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

By: Henk Schulte Nordholt, Peter Keppy, Bart Barendregt

Publisher: Amsterdam University Press

No Review Yet

AED218

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

By: Henk Schulte Nordholt, Peter Keppy, Bart Barendregt

Publisher: Amsterdam University Press

No Review Yet

AED126

Binding:	Paperback
Release:	27 Sep 2017
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

16.

The Dark Side of the Mirror

By: David Brazier, Henk Barendregt

Publisher: Windhorse Publications

4.6

(5)

AED63

Binding:	Digital (delivered electronically)
Release:	19 Mar 2019

Out of Stock

Notify me when this book is in stockNotify Me

No more records found

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter