Degrees, reductions and representability in the Lambda-Calculus

DSpace/Manakin Repository

Degrees, reductions and representability in the Lambda-Calculus
 
Bergstra, J.A.; Barendregt, H.P.; Klop, J.W.; Volken, H.
(1976) degrees, reductions and representability in the Lambda-Calculus (Preprint nr. 22)
(Report)
Download/Full Text
Open Access version via Utrecht University Repository
 
Publisher: University of Utrecht, Department of Mathematics
 
 
See more statistics about this item