Return to search

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

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).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/649898404
Date January 1971
CreatorsBarendregt, H. P.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0023 seconds