Some extensional term models for combinatory logics and [lambda]-calculi

Description

Thesis (doctoral)--Rijksuniversiteit te Utrecht, 1971. / "Stellingen" ([2] p.) inserted. Summary in Dutch. Includes supplementary part II to the author's thesis. Includes bibliographical references (p. 134-138).

Links & Downloads

1. http://books.google.com/books?id=7abVAAAAMAAJ

Tags

Combinatory logic. Recursive functions.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/649898404
Date	January 1971
Creators	Barendregt, H. P.
Source Sets	OCLC
Language	English
Detected Language	English