Matches in SemOpenAlex for { <https://semopenalex.org/work/W2167231542> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2167231542 endingPage "282" @default.
- W2167231542 startingPage "235" @default.
- W2167231542 abstract "System F⩽ω is an extension with subtyping of the higher-order polymorphic λ-calculus —an orthogonal combination of Girard's system Fω with Cardelli and Wegner's Kernel Fun variant of System F⩽. We develop the fundamental metatheory of this calculus: decidability of β-conversion on well-kinded types, elimination of the “cut-rule” of transitivity from the subtype relation, and the soundness, completeness, and termination of algorithms for subtyping and typechecking." @default.
- W2167231542 created "2016-06-24" @default.
- W2167231542 creator A5058725359 @default.
- W2167231542 creator A5085361253 @default.
- W2167231542 date "1997-04-01" @default.
- W2167231542 modified "2023-10-17" @default.
- W2167231542 title "Higher-order subtyping" @default.
- W2167231542 cites W1980302687 @default.
- W2167231542 cites W1981303668 @default.
- W2167231542 cites W1985292984 @default.
- W2167231542 cites W1996404651 @default.
- W2167231542 cites W2027657506 @default.
- W2167231542 cites W2057648994 @default.
- W2167231542 cites W2104380298 @default.
- W2167231542 cites W2105126759 @default.
- W2167231542 cites W2119857670 @default.
- W2167231542 cites W2138839382 @default.
- W2167231542 cites W2144778998 @default.
- W2167231542 cites W2165657834 @default.
- W2167231542 cites W2171425038 @default.
- W2167231542 cites W2173184982 @default.
- W2167231542 cites W2792739471 @default.
- W2167231542 doi "https://doi.org/10.1016/s0304-3975(96)00096-5" @default.
- W2167231542 hasPublicationYear "1997" @default.
- W2167231542 type Work @default.
- W2167231542 sameAs 2167231542 @default.
- W2167231542 citedByCount "43" @default.
- W2167231542 countsByYear W21672315422014 @default.
- W2167231542 countsByYear W21672315422017 @default.
- W2167231542 countsByYear W21672315422021 @default.
- W2167231542 crossrefType "journal-article" @default.
- W2167231542 hasAuthorship W2167231542A5058725359 @default.
- W2167231542 hasAuthorship W2167231542A5085361253 @default.
- W2167231542 hasBestOaLocation W21672315421 @default.
- W2167231542 hasConcept C11413529 @default.
- W2167231542 hasConcept C114614502 @default.
- W2167231542 hasConcept C118615104 @default.
- W2167231542 hasConcept C134306372 @default.
- W2167231542 hasConcept C135315306 @default.
- W2167231542 hasConcept C153269930 @default.
- W2167231542 hasConcept C17231256 @default.
- W2167231542 hasConcept C191399111 @default.
- W2167231542 hasConcept C199343813 @default.
- W2167231542 hasConcept C199360897 @default.
- W2167231542 hasConcept C206880738 @default.
- W2167231542 hasConcept C25343380 @default.
- W2167231542 hasConcept C2777686260 @default.
- W2167231542 hasConcept C2778029271 @default.
- W2167231542 hasConcept C33923547 @default.
- W2167231542 hasConcept C39387531 @default.
- W2167231542 hasConcept C39920170 @default.
- W2167231542 hasConcept C41008148 @default.
- W2167231542 hasConcept C71924100 @default.
- W2167231542 hasConcept C74193536 @default.
- W2167231542 hasConcept C77088390 @default.
- W2167231542 hasConcept C83852419 @default.
- W2167231542 hasConceptScore W2167231542C11413529 @default.
- W2167231542 hasConceptScore W2167231542C114614502 @default.
- W2167231542 hasConceptScore W2167231542C118615104 @default.
- W2167231542 hasConceptScore W2167231542C134306372 @default.
- W2167231542 hasConceptScore W2167231542C135315306 @default.
- W2167231542 hasConceptScore W2167231542C153269930 @default.
- W2167231542 hasConceptScore W2167231542C17231256 @default.
- W2167231542 hasConceptScore W2167231542C191399111 @default.
- W2167231542 hasConceptScore W2167231542C199343813 @default.
- W2167231542 hasConceptScore W2167231542C199360897 @default.
- W2167231542 hasConceptScore W2167231542C206880738 @default.
- W2167231542 hasConceptScore W2167231542C25343380 @default.
- W2167231542 hasConceptScore W2167231542C2777686260 @default.
- W2167231542 hasConceptScore W2167231542C2778029271 @default.
- W2167231542 hasConceptScore W2167231542C33923547 @default.
- W2167231542 hasConceptScore W2167231542C39387531 @default.
- W2167231542 hasConceptScore W2167231542C39920170 @default.
- W2167231542 hasConceptScore W2167231542C41008148 @default.
- W2167231542 hasConceptScore W2167231542C71924100 @default.
- W2167231542 hasConceptScore W2167231542C74193536 @default.
- W2167231542 hasConceptScore W2167231542C77088390 @default.
- W2167231542 hasConceptScore W2167231542C83852419 @default.
- W2167231542 hasIssue "1-2" @default.
- W2167231542 hasLocation W21672315421 @default.
- W2167231542 hasOpenAccess W2167231542 @default.
- W2167231542 hasPrimaryLocation W21672315421 @default.
- W2167231542 hasRelatedWork W1509773422 @default.
- W2167231542 hasRelatedWork W1595983599 @default.
- W2167231542 hasRelatedWork W1847686 @default.
- W2167231542 hasRelatedWork W1967451324 @default.
- W2167231542 hasRelatedWork W2089325110 @default.
- W2167231542 hasRelatedWork W2096228713 @default.
- W2167231542 hasRelatedWork W2147357772 @default.
- W2167231542 hasRelatedWork W2470134333 @default.
- W2167231542 hasRelatedWork W2593125519 @default.
- W2167231542 hasRelatedWork W3034079570 @default.
- W2167231542 hasVolume "176" @default.
- W2167231542 isParatext "false" @default.
- W2167231542 isRetracted "false" @default.
- W2167231542 magId "2167231542" @default.
- W2167231542 workType "article" @default.