Login / Signup

The lambda-gamma calculus: A language adequate for defining recursive functions.

Paul C. Gilmore
Published in: Inf. Sci. (1970)
Keyphrases