Matches in SemOpenAlex for { <https://semopenalex.org/work/W2922774582> ?p ?o ?g. }
- W2922774582 abstract "Abstract In the 1980s, John Reynolds postulated that a parametrically polymorphic function is an ad-hoc polymorphic function satisfying a uniformity principle. This allowed him to prove that his set-theoretic semantics has a relational lifting which satisfies the Identity Extension Lemma and the Abstraction Theorem . However, his definition (and subsequent variants) has only been given for specific models. In contrast, we give a model-independent axiomatic treatment by characterising Reynolds’ definition via a universal property, and show that the above results follow from this universal property in the axiomatic setting." @default.
- W2922774582 created "2019-04-01" @default.
- W2922774582 creator A5019324243 @default.
- W2922774582 creator A5044225957 @default.
- W2922774582 creator A5065899567 @default.
- W2922774582 date "2019-03-22" @default.
- W2922774582 modified "2023-09-25" @default.
- W2922774582 title "Universal properties for universal types in bifibrational parametricity" @default.
- W2922774582 cites W1543392755 @default.
- W2922774582 cites W1549406551 @default.
- W2922774582 cites W1986402635 @default.
- W2922774582 cites W1998040359 @default.
- W2922774582 cites W2018103337 @default.
- W2922774582 cites W2032017843 @default.
- W2922774582 cites W2101443478 @default.
- W2922774582 cites W2342903762 @default.
- W2922774582 cites W4248166369 @default.
- W2922774582 cites W948979153 @default.
- W2922774582 doi "https://doi.org/10.1017/s0960129518000336" @default.
- W2922774582 hasPublicationYear "2019" @default.
- W2922774582 type Work @default.
- W2922774582 sameAs 2922774582 @default.
- W2922774582 citedByCount "1" @default.
- W2922774582 countsByYear W29227745822023 @default.
- W2922774582 crossrefType "journal-article" @default.
- W2922774582 hasAuthorship W2922774582A5019324243 @default.
- W2922774582 hasAuthorship W2922774582A5044225957 @default.
- W2922774582 hasAuthorship W2922774582A5065899567 @default.
- W2922774582 hasBestOaLocation W29227745822 @default.
- W2922774582 hasConcept C111472728 @default.
- W2922774582 hasConcept C118615104 @default.
- W2922774582 hasConcept C121332964 @default.
- W2922774582 hasConcept C124304363 @default.
- W2922774582 hasConcept C125773388 @default.
- W2922774582 hasConcept C136119220 @default.
- W2922774582 hasConcept C138885662 @default.
- W2922774582 hasConcept C14036430 @default.
- W2922774582 hasConcept C167729594 @default.
- W2922774582 hasConcept C177264268 @default.
- W2922774582 hasConcept C18903297 @default.
- W2922774582 hasConcept C189950617 @default.
- W2922774582 hasConcept C199360897 @default.
- W2922774582 hasConcept C202444582 @default.
- W2922774582 hasConcept C24890656 @default.
- W2922774582 hasConcept C2524010 @default.
- W2922774582 hasConcept C2777759810 @default.
- W2922774582 hasConcept C2778029271 @default.
- W2922774582 hasConcept C2778355321 @default.
- W2922774582 hasConcept C33923547 @default.
- W2922774582 hasConcept C41008148 @default.
- W2922774582 hasConcept C46757340 @default.
- W2922774582 hasConcept C78458016 @default.
- W2922774582 hasConcept C86803240 @default.
- W2922774582 hasConceptScore W2922774582C111472728 @default.
- W2922774582 hasConceptScore W2922774582C118615104 @default.
- W2922774582 hasConceptScore W2922774582C121332964 @default.
- W2922774582 hasConceptScore W2922774582C124304363 @default.
- W2922774582 hasConceptScore W2922774582C125773388 @default.
- W2922774582 hasConceptScore W2922774582C136119220 @default.
- W2922774582 hasConceptScore W2922774582C138885662 @default.
- W2922774582 hasConceptScore W2922774582C14036430 @default.
- W2922774582 hasConceptScore W2922774582C167729594 @default.
- W2922774582 hasConceptScore W2922774582C177264268 @default.
- W2922774582 hasConceptScore W2922774582C18903297 @default.
- W2922774582 hasConceptScore W2922774582C189950617 @default.
- W2922774582 hasConceptScore W2922774582C199360897 @default.
- W2922774582 hasConceptScore W2922774582C202444582 @default.
- W2922774582 hasConceptScore W2922774582C24890656 @default.
- W2922774582 hasConceptScore W2922774582C2524010 @default.
- W2922774582 hasConceptScore W2922774582C2777759810 @default.
- W2922774582 hasConceptScore W2922774582C2778029271 @default.
- W2922774582 hasConceptScore W2922774582C2778355321 @default.
- W2922774582 hasConceptScore W2922774582C33923547 @default.
- W2922774582 hasConceptScore W2922774582C41008148 @default.
- W2922774582 hasConceptScore W2922774582C46757340 @default.
- W2922774582 hasConceptScore W2922774582C78458016 @default.
- W2922774582 hasConceptScore W2922774582C86803240 @default.
- W2922774582 hasLocation W29227745821 @default.
- W2922774582 hasLocation W29227745822 @default.
- W2922774582 hasOpenAccess W2922774582 @default.
- W2922774582 hasPrimaryLocation W29227745821 @default.
- W2922774582 hasRelatedWork W1544799691 @default.
- W2922774582 hasRelatedWork W1553206107 @default.
- W2922774582 hasRelatedWork W1585658672 @default.
- W2922774582 hasRelatedWork W159258052 @default.
- W2922774582 hasRelatedWork W1593086612 @default.
- W2922774582 hasRelatedWork W1974358179 @default.
- W2922774582 hasRelatedWork W2006602106 @default.
- W2922774582 hasRelatedWork W2026518150 @default.
- W2922774582 hasRelatedWork W2034261398 @default.
- W2922774582 hasRelatedWork W203992540 @default.
- W2922774582 hasRelatedWork W2040125385 @default.
- W2922774582 hasRelatedWork W2050077054 @default.
- W2922774582 hasRelatedWork W2133092828 @default.
- W2922774582 hasRelatedWork W2155190642 @default.
- W2922774582 hasRelatedWork W2337453186 @default.
- W2922774582 hasRelatedWork W2348271935 @default.
- W2922774582 hasRelatedWork W2799182172 @default.
- W2922774582 hasRelatedWork W3098507502 @default.
- W2922774582 hasRelatedWork W3159574031 @default.