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