A General Class of Models of

Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient conditions for categorical models living in arbitrary cpo-enriched cartesian closed categories to have H∗ , the maximal consistent sensible λ-theory, as their equational theory. Finally, we prove that our relational model fulfils these conditions.

• Type: Conference
• Year: 2009
• Where: MFCS
• Authors: Giulio Manzonetto
• Keywords: Cartesian Closed, Cartesian Closed Categories, Cartesian Closed Category, MFCS 2009, Theoretical Computer Science