Bi-models: Relational Versus Domain-theoretic Approaches

Article type: Research Article

Authors: Bucciarelli, Antonio

Affiliations: Dipartimento di Scienze dell'Informazione, Università di Roma “La Sapienza”, via Salaria 113, 00198 Roma. e-mail: [email protected]

Abstract: We introduce a technique based on logical relations, which, given two models M and N of a simply typed lambda-calculus L, allows us to construct a model M/N whose L-theory is a superset of both Th(M) and Th(N). By means of some examples, we show that classic bi-domain constructions lack this property, in general.

Keywords: simply typed λ-calculi, logical relations, PCF, Scott-continuous model, stable model

DOI: 10.3233/FI-1997-323402

Journal: Fundamenta Informaticae, vol. 32, no. 3-4, pp. 251-266, 1997