Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000785911> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2000785911 endingPage "237" @default.
- W2000785911 startingPage "173" @default.
- W2000785911 abstract "System F-bounded is a second-order typed lambda calculus, where the basic features of object-oriented languages can be naturally modelled. F-bounded extends the better known system F⩽, in a way that provides an immediate solution for the treatment of the so-called “binary methods.” Although more powerful than F⩽ and also quite natural, system F-bounded has only been superficially studied from a foundational perspective and many of its essential properties have been conjectured but never proved in the literature. The aim of this paper is to give a solid foundation to F-bounded, by addressing and proving the key properties of the system. In particular, transitivity elimination, completeness of the type checking semi-algorithm, the subject reduction property for βη reduction, conservativity with respect to system F⩽, and antisymmetry of a “full” subsystem are considered, and various possible formulations for system F-bounded are compared. Finally, a semantic interpretation of system F-bounded is presented, based on partial equivalence relations." @default.
- W2000785911 created "2016-06-24" @default.
- W2000785911 creator A5015243193 @default.
- W2000785911 creator A5023086477 @default.
- W2000785911 creator A5031056947 @default.
- W2000785911 date "1999-09-01" @default.
- W2000785911 modified "2023-10-17" @default.
- W2000785911 title "Basic Theory of F-Bounded Quantification" @default.
- W2000785911 cites W1525643703 @default.
- W2000785911 cites W1980302687 @default.
- W2000785911 cites W1985292984 @default.
- W2000785911 cites W1994181029 @default.
- W2000785911 cites W2002475773 @default.
- W2000785911 cites W2014351883 @default.
- W2000785911 cites W2022460813 @default.
- W2000785911 cites W2023878569 @default.
- W2000785911 cites W2027657506 @default.
- W2000785911 cites W2057648994 @default.
- W2000785911 cites W2062525613 @default.
- W2000785911 cites W2066972783 @default.
- W2000785911 cites W2078295617 @default.
- W2000785911 cites W2104204098 @default.
- W2000785911 cites W2105126759 @default.
- W2000785911 cites W2119857670 @default.
- W2000785911 cites W2123727486 @default.
- W2000785911 cites W2165657834 @default.
- W2000785911 cites W2167231542 @default.
- W2000785911 cites W2170800927 @default.
- W2000785911 cites W2171425038 @default.
- W2000785911 cites W2568721247 @default.
- W2000785911 cites W2792739471 @default.
- W2000785911 cites W2795046794 @default.
- W2000785911 cites W2912288127 @default.
- W2000785911 doi "https://doi.org/10.1006/inco.1999.2802" @default.
- W2000785911 hasPublicationYear "1999" @default.
- W2000785911 type Work @default.
- W2000785911 sameAs 2000785911 @default.
- W2000785911 citedByCount "13" @default.
- W2000785911 countsByYear W20007859112012 @default.
- W2000785911 countsByYear W20007859112013 @default.
- W2000785911 countsByYear W20007859112015 @default.
- W2000785911 countsByYear W20007859112016 @default.
- W2000785911 countsByYear W20007859112023 @default.
- W2000785911 crossrefType "journal-article" @default.
- W2000785911 hasAuthorship W2000785911A5015243193 @default.
- W2000785911 hasAuthorship W2000785911A5023086477 @default.
- W2000785911 hasAuthorship W2000785911A5031056947 @default.
- W2000785911 hasBestOaLocation W20007859111 @default.
- W2000785911 hasConcept C111335779 @default.
- W2000785911 hasConcept C114614502 @default.
- W2000785911 hasConcept C118615104 @default.
- W2000785911 hasConcept C134306372 @default.
- W2000785911 hasConcept C17231256 @default.
- W2000785911 hasConcept C191399111 @default.
- W2000785911 hasConcept C199343813 @default.
- W2000785911 hasConcept C2524010 @default.
- W2000785911 hasConcept C2777686260 @default.
- W2000785911 hasConcept C2780069185 @default.
- W2000785911 hasConcept C33923547 @default.
- W2000785911 hasConcept C34388435 @default.
- W2000785911 hasConcept C41008148 @default.
- W2000785911 hasConcept C71924100 @default.
- W2000785911 hasConceptScore W2000785911C111335779 @default.
- W2000785911 hasConceptScore W2000785911C114614502 @default.
- W2000785911 hasConceptScore W2000785911C118615104 @default.
- W2000785911 hasConceptScore W2000785911C134306372 @default.
- W2000785911 hasConceptScore W2000785911C17231256 @default.
- W2000785911 hasConceptScore W2000785911C191399111 @default.
- W2000785911 hasConceptScore W2000785911C199343813 @default.
- W2000785911 hasConceptScore W2000785911C2524010 @default.
- W2000785911 hasConceptScore W2000785911C2777686260 @default.
- W2000785911 hasConceptScore W2000785911C2780069185 @default.
- W2000785911 hasConceptScore W2000785911C33923547 @default.
- W2000785911 hasConceptScore W2000785911C34388435 @default.
- W2000785911 hasConceptScore W2000785911C41008148 @default.
- W2000785911 hasConceptScore W2000785911C71924100 @default.
- W2000785911 hasIssue "2" @default.
- W2000785911 hasLocation W20007859111 @default.
- W2000785911 hasOpenAccess W2000785911 @default.
- W2000785911 hasPrimaryLocation W20007859111 @default.
- W2000785911 hasRelatedWork W1597578789 @default.
- W2000785911 hasRelatedWork W1970705056 @default.
- W2000785911 hasRelatedWork W1978539514 @default.
- W2000785911 hasRelatedWork W2018461617 @default.
- W2000785911 hasRelatedWork W2028945277 @default.
- W2000785911 hasRelatedWork W2083044841 @default.
- W2000785911 hasRelatedWork W2317783843 @default.
- W2000785911 hasRelatedWork W2331003186 @default.
- W2000785911 hasRelatedWork W2531535863 @default.
- W2000785911 hasRelatedWork W4245749626 @default.
- W2000785911 hasVolume "153" @default.
- W2000785911 isParatext "false" @default.
- W2000785911 isRetracted "false" @default.
- W2000785911 magId "2000785911" @default.
- W2000785911 workType "article" @default.