Title: The Lambda calculus, lattice theory and reflexive domains
First published: 1970