A survey of some useful partial order relations on terms of the lambda calculus.

J. M. E. Hyland

Published in: Lambda-Calculus and Computer Science Theory (1975)

Keyphrases

partial order
lambda calculus
partially ordered
lattice structure
total order
preference relations
totally ordered
logical formulas
high level
relational databases
programming language
integrity constraints
predicate calculus
causal links