Some extensional term models for combinatory logics and [lambda]-calculi
By: Hendrik Pieter Barendregt
Contributors: Rijksuniversiteit te Utrecht
Published: 1971
Language: eng
Number of pages: 140
Subjects: Combinatory logic; Recursive functions
Other titles: On the interpretation of terms without a normal form.
Notes: "Stellingen" ([2] p.) inserted.

Summary in Dutch.

Includes supplementary part II to the author's thesis.

Thesis (doctoral)--Rijksuniversiteit te Utrecht, 1971.