Matches in SemOpenAlex for { <https://semopenalex.org/work/W2795307894> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2795307894 abstract "Instantiation overflow is the property of those second order types for which all instances of full comprehension can be deduced from instances of atomic comprehension. In other words, a type has instantiation overflow when one can type, by atomic polymorphism, which realize instances of the full extraction rule applied to that type. This property was investigated in the case of the types arising from the well-known Russell-Prawitz translation of logical connectives into System F, but is not restricted to such types. Moreover, it can be related to functorial polymorphism, a well-known categorial approach to parametricity in System F. In this paper we investigate the instantiation overflow property by exploiting the representation of derivations by means of linear logic proof nets. We develop a geometric approach to instantiation overflow yielding a deeper understanding of the structure of expansion terms and Russell-Prawitz types. Our main result is a characterization of the class of types of the form $forall XA$, where $A$ is a simple type, which enjoy the instantiation overflow property, by means of a generalization of Russell-Prawitz types." @default.
- W2795307894 created "2018-04-06" @default.
- W2795307894 creator A5059212008 @default.
- W2795307894 date "2018-03-25" @default.
- W2795307894 modified "2023-09-27" @default.
- W2795307894 title "Proof nets and the instantiation overflow property" @default.
- W2795307894 cites W1859409208 @default.
- W2795307894 hasPublicationYear "2018" @default.
- W2795307894 type Work @default.
- W2795307894 sameAs 2795307894 @default.
- W2795307894 citedByCount "2" @default.
- W2795307894 countsByYear W27953078942019 @default.
- W2795307894 countsByYear W27953078942021 @default.
- W2795307894 crossrefType "posted-content" @default.
- W2795307894 hasAuthorship W2795307894A5059212008 @default.
- W2795307894 hasConcept C111472728 @default.
- W2795307894 hasConcept C134306372 @default.
- W2795307894 hasConcept C138885662 @default.
- W2795307894 hasConcept C154945302 @default.
- W2795307894 hasConcept C177148314 @default.
- W2795307894 hasConcept C18903297 @default.
- W2795307894 hasConcept C189950617 @default.
- W2795307894 hasConcept C199360897 @default.
- W2795307894 hasConcept C2777212361 @default.
- W2795307894 hasConcept C2777299769 @default.
- W2795307894 hasConcept C33923547 @default.
- W2795307894 hasConcept C41008148 @default.
- W2795307894 hasConcept C80444323 @default.
- W2795307894 hasConcept C86803240 @default.
- W2795307894 hasConcept C93682546 @default.
- W2795307894 hasConceptScore W2795307894C111472728 @default.
- W2795307894 hasConceptScore W2795307894C134306372 @default.
- W2795307894 hasConceptScore W2795307894C138885662 @default.
- W2795307894 hasConceptScore W2795307894C154945302 @default.
- W2795307894 hasConceptScore W2795307894C177148314 @default.
- W2795307894 hasConceptScore W2795307894C18903297 @default.
- W2795307894 hasConceptScore W2795307894C189950617 @default.
- W2795307894 hasConceptScore W2795307894C199360897 @default.
- W2795307894 hasConceptScore W2795307894C2777212361 @default.
- W2795307894 hasConceptScore W2795307894C2777299769 @default.
- W2795307894 hasConceptScore W2795307894C33923547 @default.
- W2795307894 hasConceptScore W2795307894C41008148 @default.
- W2795307894 hasConceptScore W2795307894C80444323 @default.
- W2795307894 hasConceptScore W2795307894C86803240 @default.
- W2795307894 hasConceptScore W2795307894C93682546 @default.
- W2795307894 hasLocation W27953078941 @default.
- W2795307894 hasOpenAccess W2795307894 @default.
- W2795307894 hasPrimaryLocation W27953078941 @default.
- W2795307894 hasRelatedWork W1551326782 @default.
- W2795307894 hasRelatedWork W1602563381 @default.
- W2795307894 hasRelatedWork W1999732797 @default.
- W2795307894 hasRelatedWork W2076954302 @default.
- W2795307894 hasRelatedWork W2114058479 @default.
- W2795307894 hasRelatedWork W2122085926 @default.
- W2795307894 hasRelatedWork W2159159702 @default.
- W2795307894 hasRelatedWork W2160728467 @default.
- W2795307894 hasRelatedWork W2288327229 @default.
- W2795307894 hasRelatedWork W2399399745 @default.
- W2795307894 hasRelatedWork W2518592652 @default.
- W2795307894 hasRelatedWork W2565502105 @default.
- W2795307894 hasRelatedWork W2798115558 @default.
- W2795307894 hasRelatedWork W2799169538 @default.
- W2795307894 hasRelatedWork W2825557463 @default.
- W2795307894 hasRelatedWork W2897341314 @default.
- W2795307894 hasRelatedWork W2951694949 @default.
- W2795307894 hasRelatedWork W3023853936 @default.
- W2795307894 hasRelatedWork W3105455322 @default.
- W2795307894 hasRelatedWork W3157107 @default.
- W2795307894 isParatext "false" @default.
- W2795307894 isRetracted "false" @default.
- W2795307894 magId "2795307894" @default.
- W2795307894 workType "article" @default.