On the interpretation of terms without a normal form.
By: [By] H. P. Barendregt. (preliminary version)
Contributors: Barendregt, H. P.
Series: ERCU publikaties, no. 111
Publisher: Electronisch Raekencentrum Rijksuniversiteit Utrecht (Budapestlaan 6)
Published: 1971
Place of publication: Utrecht
Language: eng
Number of pages: 18
Subjects: Combinatory logic.
Notes: Bibliography: p. 18.
Supplementary part II to the author's thesis Some extensional term models for combinatory logics and 2-calculi.