Matches in SemOpenAlex for { <https://semopenalex.org/work/W1980302687> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1980302687 endingPage "96" @default.
- W1980302687 startingPage "75" @default.
- W1980302687 abstract "We study an extension of the second-order calculus of bounded quantification, System F⩽, with bounded existential types. Surprisingly, the most natural formulation of this extension lacks the important minimal typing property of F⩽, which ensures that the set of types possessed by a typeable term can be characterized by a single least element. We consider alternative formulations and give an algorithm computing minimal types for the slightly weaker Kernel Fun variant of F⩽." @default.
- W1980302687 created "2016-06-24" @default.
- W1980302687 creator A5023086477 @default.
- W1980302687 creator A5085361253 @default.
- W1980302687 date "1998-02-01" @default.
- W1980302687 modified "2023-10-17" @default.
- W1980302687 title "Bounded existentials and minimal typing" @default.
- W1980302687 cites W1985292984 @default.
- W1980302687 cites W2027657506 @default.
- W1980302687 cites W2089042876 @default.
- W1980302687 cites W2104204098 @default.
- W1980302687 cites W2105126759 @default.
- W1980302687 cites W2165657834 @default.
- W1980302687 cites W2792739471 @default.
- W1980302687 doi "https://doi.org/10.1016/s0304-3975(96)00300-3" @default.
- W1980302687 hasPublicationYear "1998" @default.
- W1980302687 type Work @default.
- W1980302687 sameAs 1980302687 @default.
- W1980302687 citedByCount "26" @default.
- W1980302687 countsByYear W19803026872013 @default.
- W1980302687 countsByYear W19803026872014 @default.
- W1980302687 countsByYear W19803026872020 @default.
- W1980302687 crossrefType "journal-article" @default.
- W1980302687 hasAuthorship W1980302687A5023086477 @default.
- W1980302687 hasAuthorship W1980302687A5085361253 @default.
- W1980302687 hasBestOaLocation W19803026871 @default.
- W1980302687 hasConcept C111472728 @default.
- W1980302687 hasConcept C114614502 @default.
- W1980302687 hasConcept C118615104 @default.
- W1980302687 hasConcept C121332964 @default.
- W1980302687 hasConcept C134306372 @default.
- W1980302687 hasConcept C136119220 @default.
- W1980302687 hasConcept C138885662 @default.
- W1980302687 hasConcept C177264268 @default.
- W1980302687 hasConcept C189950617 @default.
- W1980302687 hasConcept C199360897 @default.
- W1980302687 hasConcept C202444582 @default.
- W1980302687 hasConcept C2778029271 @default.
- W1980302687 hasConcept C33923547 @default.
- W1980302687 hasConcept C34388435 @default.
- W1980302687 hasConcept C41008148 @default.
- W1980302687 hasConcept C61797465 @default.
- W1980302687 hasConcept C62520636 @default.
- W1980302687 hasConcept C74193536 @default.
- W1980302687 hasConceptScore W1980302687C111472728 @default.
- W1980302687 hasConceptScore W1980302687C114614502 @default.
- W1980302687 hasConceptScore W1980302687C118615104 @default.
- W1980302687 hasConceptScore W1980302687C121332964 @default.
- W1980302687 hasConceptScore W1980302687C134306372 @default.
- W1980302687 hasConceptScore W1980302687C136119220 @default.
- W1980302687 hasConceptScore W1980302687C138885662 @default.
- W1980302687 hasConceptScore W1980302687C177264268 @default.
- W1980302687 hasConceptScore W1980302687C189950617 @default.
- W1980302687 hasConceptScore W1980302687C199360897 @default.
- W1980302687 hasConceptScore W1980302687C202444582 @default.
- W1980302687 hasConceptScore W1980302687C2778029271 @default.
- W1980302687 hasConceptScore W1980302687C33923547 @default.
- W1980302687 hasConceptScore W1980302687C34388435 @default.
- W1980302687 hasConceptScore W1980302687C41008148 @default.
- W1980302687 hasConceptScore W1980302687C61797465 @default.
- W1980302687 hasConceptScore W1980302687C62520636 @default.
- W1980302687 hasConceptScore W1980302687C74193536 @default.
- W1980302687 hasIssue "1-2" @default.
- W1980302687 hasLocation W19803026871 @default.
- W1980302687 hasOpenAccess W1980302687 @default.
- W1980302687 hasPrimaryLocation W19803026871 @default.
- W1980302687 hasRelatedWork W1978042415 @default.
- W1980302687 hasRelatedWork W2006308727 @default.
- W1980302687 hasRelatedWork W2069998960 @default.
- W1980302687 hasRelatedWork W2136053165 @default.
- W1980302687 hasRelatedWork W2352495365 @default.
- W1980302687 hasRelatedWork W2370340664 @default.
- W1980302687 hasRelatedWork W285605535 @default.
- W1980302687 hasRelatedWork W3080875783 @default.
- W1980302687 hasRelatedWork W3189652751 @default.
- W1980302687 hasRelatedWork W4251067554 @default.
- W1980302687 hasVolume "193" @default.
- W1980302687 isParatext "false" @default.
- W1980302687 isRetracted "false" @default.
- W1980302687 magId "1980302687" @default.
- W1980302687 workType "article" @default.