Login / Signup

Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract).

Milind GandheG. VenkateshAmitabha Sanyal
Published in: ASIAN (1995)
Keyphrases
  • extended abstract
  • lambda calculus
  • programming language
  • predicate calculus
  • program understanding
  • database query languages
  • complex objects
  • databases
  • higher order