Matches in SemOpenAlex for { <https://semopenalex.org/work/W2067717885> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2067717885 endingPage "658" @default.
- W2067717885 startingPage "644" @default.
- W2067717885 abstract "The main idea of this paper is to develop an inference system to assign partial types to terms of the untyped lambda calculus. A term can either be necessarily or possibly of a certain type; these notions of necessity and possibility are incorporated into the type inference system as modalities. A subclass of types are the total types, for which necessity and possibility are equivalent. In the semantics the meaning of a total type is a set of values in the domain, the meaning of a type being, in general, an interval (a set of sets of values). This is a generalization of Cartwright’s semantics [Conference Record of the 12th Annual ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, New York, 1984, pp. 22–36]. The main results are the soundness and completeness of the type inference system with respect to interval semantics." @default.
- W2067717885 created "2016-06-24" @default.
- W2067717885 creator A5006805009 @default.
- W2067717885 creator A5053585862 @default.
- W2067717885 date "1990-08-01" @default.
- W2067717885 modified "2023-09-27" @default.
- W2067717885 title "Partial Types and Intervals" @default.
- W2067717885 doi "https://doi.org/10.1137/0219043" @default.
- W2067717885 hasPublicationYear "1990" @default.
- W2067717885 type Work @default.
- W2067717885 sameAs 2067717885 @default.
- W2067717885 citedByCount "4" @default.
- W2067717885 crossrefType "journal-article" @default.
- W2067717885 hasAuthorship W2067717885A5006805009 @default.
- W2067717885 hasAuthorship W2067717885A5053585862 @default.
- W2067717885 hasConcept C118615104 @default.
- W2067717885 hasConcept C134306372 @default.
- W2067717885 hasConcept C135790938 @default.
- W2067717885 hasConcept C154945302 @default.
- W2067717885 hasConcept C17231256 @default.
- W2067717885 hasConcept C177148314 @default.
- W2067717885 hasConcept C184337299 @default.
- W2067717885 hasConcept C18903297 @default.
- W2067717885 hasConcept C198370458 @default.
- W2067717885 hasConcept C199360897 @default.
- W2067717885 hasConcept C20528804 @default.
- W2067717885 hasConcept C2776214188 @default.
- W2067717885 hasConcept C2777299769 @default.
- W2067717885 hasConcept C33923547 @default.
- W2067717885 hasConcept C39920170 @default.
- W2067717885 hasConcept C41008148 @default.
- W2067717885 hasConcept C55128367 @default.
- W2067717885 hasConcept C86803240 @default.
- W2067717885 hasConceptScore W2067717885C118615104 @default.
- W2067717885 hasConceptScore W2067717885C134306372 @default.
- W2067717885 hasConceptScore W2067717885C135790938 @default.
- W2067717885 hasConceptScore W2067717885C154945302 @default.
- W2067717885 hasConceptScore W2067717885C17231256 @default.
- W2067717885 hasConceptScore W2067717885C177148314 @default.
- W2067717885 hasConceptScore W2067717885C184337299 @default.
- W2067717885 hasConceptScore W2067717885C18903297 @default.
- W2067717885 hasConceptScore W2067717885C198370458 @default.
- W2067717885 hasConceptScore W2067717885C199360897 @default.
- W2067717885 hasConceptScore W2067717885C20528804 @default.
- W2067717885 hasConceptScore W2067717885C2776214188 @default.
- W2067717885 hasConceptScore W2067717885C2777299769 @default.
- W2067717885 hasConceptScore W2067717885C33923547 @default.
- W2067717885 hasConceptScore W2067717885C39920170 @default.
- W2067717885 hasConceptScore W2067717885C41008148 @default.
- W2067717885 hasConceptScore W2067717885C55128367 @default.
- W2067717885 hasConceptScore W2067717885C86803240 @default.
- W2067717885 hasIssue "4" @default.
- W2067717885 hasLocation W20677178851 @default.
- W2067717885 hasOpenAccess W2067717885 @default.
- W2067717885 hasPrimaryLocation W20677178851 @default.
- W2067717885 hasRelatedWork W1592799753 @default.
- W2067717885 hasRelatedWork W1703087989 @default.
- W2067717885 hasRelatedWork W1971132411 @default.
- W2067717885 hasRelatedWork W1985242199 @default.
- W2067717885 hasRelatedWork W2104888341 @default.
- W2067717885 hasRelatedWork W2112250323 @default.
- W2067717885 hasRelatedWork W2125333933 @default.
- W2067717885 hasRelatedWork W2129762978 @default.
- W2067717885 hasRelatedWork W2550953148 @default.
- W2067717885 hasRelatedWork W2953140798 @default.
- W2067717885 hasVolume "19" @default.
- W2067717885 isParatext "false" @default.
- W2067717885 isRetracted "false" @default.
- W2067717885 magId "2067717885" @default.
- W2067717885 workType "article" @default.