A general class of models of H

Abstract

We provide sufficient conditions for categorical models living in arbitrary cpo-enriched cartesian closed categories to have the maximal consistent sensible λ-theory as their equational theory. Finally, we prove that a model of pure λ-calculus we have recently introduced in a cartesian closed category of sets and (multi-)relations fulfils these conditions. © 2009 Springer Berlin Heidelberg.