منابع مشابه
Subtyping in Logical Form
By using intersection types and filter models we formulate a theory of types for a λ-calculus with record subtyping via a finitary programming logic. Types are interpreted as spaces of filters over a subset of the language of properties (the intersection types) which describes the underlying type free realizability structure. We show that such an interpretation is a PER semantics, proving that ...
متن کاملSubtyping : conceptual and logical issues
Subtyping is an important feature of semantic approaches to conceptual schema design and, more recently, object-oriented database design. However the relational model does not directly support subtyping, and CASE tools for mapping conceptual to relational schemas typically provide only very weak support for mapping subtypes. This paper surveys some of the main issues related to conceptual speci...
متن کاملLogical Form
The notion of the logical form of an expression E is shown to be a semantic notion that can be derived from the notion of the structured meaning of E. This simple idea can be traced to categorial grammars, and it is implicitly used by Richard Montague. We argue that a most fine-grained tool for defining structured meaning can be found in Pavel Tichý’s Transparent Intensional Logic (TIL). Struct...
متن کاملLogical Relations for Coherence of Effect Subtyping
A coercion semantics of a programming language with subtyping is typically defined on typing derivations rather than on typing judgments. To avoid semantic ambiguity, such a semantics is expected to be coherent, i.e., independent of the typing derivation for a given typing judgment. In this article we present heterogeneous, biorthogonal, step-indexed logical relations for establishing the coher...
متن کاملProblems in Logical Form
(P Xl ... X.) <-> (SOME E (EVENT E) ((gVABS F) E xl . . . xn)) In simple cases we can use the more straightforward f o r m . The l o g i c a l f o r m o f " J o h n i s k i s s i n g Mary" w o u l d s i m p l y be (KISS JOHN MARY). The l o g i c a l f o r m o f " J o h n i s g e n t l y k i s s i n g M a r y , " h o w e v e r , w o u l d be (SOME Z (EVENT E) (AND ((EWSS KZSS) Z JoHN ~ Y ) (GENT...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80491-2