Login / Signup

-Models of the lambda-calculus.

Simona Ronchi Della Rocca
Published in: CAAP (1981)
Keyphrases
  • lambda calculus
  • general purpose