Spelling suggestions: "subject:"combinatory logic. recursive functions."" "subject:"combinatory logic. ecursive functions.""
1 |
Some extensional term models for combinatory logics and [lambda]-calculiBarendregt, H. P. January 1971 (has links)
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).
|
2 |
Some extensional term models for combinatory logics and [lambda]-calculiBarendregt, H. P. January 1971 (has links)
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).
|
Page generated in 0.1353 seconds