Login / Signup

Games and Full Abstraction for the Lazy lambda-Calculus

Samson AbramskyGuy McCusker
Published in: LICS (1995)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • high level
  • higher order
  • program understanding
  • database query languages
  • expert systems
  • co occurrence
  • natural language
  • data model
  • object oriented
  • formal model