Login / Signup

Typed meaning in Scott's lambda - calculus models.

Herbert Egli
Published in: Lambda-Calculus and Computer Science Theory (1975)
Keyphrases
  • lambda calculus
  • co occurrence
  • case study
  • query processing
  • data model
  • natural language processing
  • general purpose
  • program understanding