Login / Signup

-Models of the Lambda-Calculus.

Christopher P. Wadsworth
Published in: SIAM J. Comput. (1976)
Keyphrases
  • lambda calculus
  • higher order