It looks like you're offline.

Last edited anonymously

August 18, 2008 | History

Edit

H. P. Barendregt

We need a photo of H. P. Barendregt

7 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

The lambda calculus: its syntax and semantics

by H. P. Barendregt First published in 1981 — 4 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science)

by H. P. Barendregt First published in 1994 — 2 editions

Locate

My Reading Lists:

Create a new list
The incompleteness theorems

by H. P. Barendregt First published in 1976 — 1 edition

Locate

My Reading Lists:

Create a new list
On the interpretation of terms without a normal form.

by H. P. Barendregt First published in 1971 — 1 edition

Locate

My Reading Lists:

Create a new list
De Dimorphie van het Ifs en de Alcoholhydrantkwest

by H. P. Barendregt First published in 1896 — 1 edition

Locate

My Reading Lists:

Create a new list
Some extensional term models for combinatory logics and [lambda]-calculi

by H. P. Barendregt First published in 1971 — 1 edition

Locate

My Reading Lists:

Create a new list
Lambda calculus with types

by H. P. Barendregt First published in 2013 — 1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of H. P. Barendregt

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL1233055A

Links outside Open Library

No links yet. Add one?

History

Created April 1, 2008
2 revisions

Download catalog record: RDF / JSON

August 18, 2008	Edited by an anonymous user	fix author name
April 1, 2008	Created by an anonymous user	initial import