Numerations lambda calculus and arithmetic (1980)

by A Visser
Venue:In To H.B. Curry: essays in Combinarory Logic, Lambda Calculus and Formalisms