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