Structured meanings and reflexive domains

This paper is about the most important technical problem faced by Structured Meanings Semantics: the reiteration of hyperintensional functors (i.e., functors of -categorial languages of the sort defined by Max Cresswell in 6]). A way to solve this problem in a general and natural way by using Scott's Domains is both suggested and shown. The result is a semantics which unrestrictedly allows reiterations of hyperintensional functors. The semantics is also extended to accommodate -categorial languages with variables.I would like to thank Johan van Benthem, Harold Shellinx, Willem Groenelveld and Bruce Toombs for their useful comments on earlier drafts of this paper. This work was supported in part by the Social Sciences and Humanities Research Council of Canada (doctoral fellowship 452-88-2518).