Login / Signup

Lambda Calculus with Constrained Types (Extended Abstract).

Val Breazu-TannenAlbert R. Meyer
Published in: Logic of Programs (1985)
Keyphrases
  • extended abstract
  • lambda calculus
  • programming language
  • database
  • databases
  • artificial intelligence
  • expert systems
  • relational databases
  • general purpose
  • predicate calculus