Publikationsansicht

Degrees, reductions and representability in the lambda calculus (1976)

Details der Publikation
Herausgeber University [of] Utrecht. Department of Mathematics
Archiv Repository Radboud Universiteit Nijmegen (Netherlands)
Typ Preprint
Sprache Englisch
Verknüpfungen 22, Preprint