Login / Signup

Can LCF be Topped? Flat Lattice Models of Typed lambda-Calculus

Bard Bloom
Published in: Inf. Comput. (1990)
Keyphrases
  • lambda calculus
  • higher order
  • programming language
  • software development
  • predicate calculus
  • databases
  • case study
  • open source