Login / Signup

What is a Model of the Lambda Calculus?

Albert R. Meyer
Published in: Inf. Control. (1982)
Keyphrases
  • databases
  • formal model
  • artificial intelligence
  • high level
  • data structure
  • general purpose
  • user defined