Degrees, reductions and representability in the Lambda-Calculus
Publication date
1976
Authors
Bergstra, J.A.
Barendregt, H.P.
Klop, J.W.
Volken, H.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
