Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955298927> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2955298927 abstract "We study two decidable fragments of System F, the polynomial and the Yoneda fragment, inducing two representations of the free bicartesian closed category. The first fragment is freely generated by the encoding of finite polynomial functors (generalizing the usual embedding of finite products and coproducts) and describes a class of well-behaved polymorphic terms: unlike those in full System F, the terms typable in this fragment can be interpreted as ordinary natural transformations and are equivalent, up to permutations, to terms typable using a strictly predicative type discipline. The second fragment is introduced to investigate the class of finite types, that is the types of System F which are isomorphic, modulo contextual equivalence, to a closed propositional type. The types of this fragment arise from a schema resembling the Yoneda isomorphism, and are shown to converge onto propositional types by a type rewriting approach." @default.
- W2955298927 created "2019-07-12" @default.
- W2955298927 creator A5049502056 @default.
- W2955298927 creator A5059212008 @default.
- W2955298927 date "2019-07-08" @default.
- W2955298927 modified "2023-09-27" @default.
- W2955298927 title "Polymorphism and the free bicartesian closed category" @default.
- W2955298927 hasPublicationYear "2019" @default.
- W2955298927 type Work @default.
- W2955298927 sameAs 2955298927 @default.
- W2955298927 citedByCount "0" @default.
- W2955298927 crossrefType "posted-content" @default.
- W2955298927 hasAuthorship W2955298927A5049502056 @default.
- W2955298927 hasAuthorship W2955298927A5059212008 @default.
- W2955298927 hasConcept C11413529 @default.
- W2955298927 hasConcept C114614502 @default.
- W2955298927 hasConcept C118615104 @default.
- W2955298927 hasConcept C153269930 @default.
- W2955298927 hasConcept C156772000 @default.
- W2955298927 hasConcept C18903297 @default.
- W2955298927 hasConcept C202444582 @default.
- W2955298927 hasConcept C2776235265 @default.
- W2955298927 hasConcept C2777299769 @default.
- W2955298927 hasConcept C33923547 @default.
- W2955298927 hasConcept C54732982 @default.
- W2955298927 hasConcept C86803240 @default.
- W2955298927 hasConceptScore W2955298927C11413529 @default.
- W2955298927 hasConceptScore W2955298927C114614502 @default.
- W2955298927 hasConceptScore W2955298927C118615104 @default.
- W2955298927 hasConceptScore W2955298927C153269930 @default.
- W2955298927 hasConceptScore W2955298927C156772000 @default.
- W2955298927 hasConceptScore W2955298927C18903297 @default.
- W2955298927 hasConceptScore W2955298927C202444582 @default.
- W2955298927 hasConceptScore W2955298927C2776235265 @default.
- W2955298927 hasConceptScore W2955298927C2777299769 @default.
- W2955298927 hasConceptScore W2955298927C33923547 @default.
- W2955298927 hasConceptScore W2955298927C54732982 @default.
- W2955298927 hasConceptScore W2955298927C86803240 @default.
- W2955298927 hasLocation W29552989271 @default.
- W2955298927 hasOpenAccess W2955298927 @default.
- W2955298927 hasPrimaryLocation W29552989271 @default.
- W2955298927 hasRelatedWork W1488572541 @default.
- W2955298927 hasRelatedWork W1522567266 @default.
- W2955298927 hasRelatedWork W1574393242 @default.
- W2955298927 hasRelatedWork W1637043830 @default.
- W2955298927 hasRelatedWork W1993804761 @default.
- W2955298927 hasRelatedWork W2041920040 @default.
- W2955298927 hasRelatedWork W2058842595 @default.
- W2955298927 hasRelatedWork W2065381138 @default.
- W2955298927 hasRelatedWork W2124223175 @default.
- W2955298927 hasRelatedWork W2151657107 @default.
- W2955298927 hasRelatedWork W2161819557 @default.
- W2955298927 hasRelatedWork W2248632088 @default.
- W2955298927 hasRelatedWork W234941181 @default.
- W2955298927 hasRelatedWork W2729113569 @default.
- W2955298927 hasRelatedWork W2765632842 @default.
- W2955298927 hasRelatedWork W2785234362 @default.
- W2955298927 hasRelatedWork W2934281292 @default.
- W2955298927 hasRelatedWork W2950254590 @default.
- W2955298927 hasRelatedWork W3040916877 @default.
- W2955298927 hasRelatedWork W3099647140 @default.
- W2955298927 isParatext "false" @default.
- W2955298927 isRetracted "false" @default.
- W2955298927 magId "2955298927" @default.
- W2955298927 workType "article" @default.