Login / Signup

Approximate Reduction and Lambda Calculus Models.

Christopher P. Wadsworth
Published in: SIAM J. Comput. (1978)
Keyphrases
  • lambda calculus
  • co occurrence