Matches in SemOpenAlex for { <https://semopenalex.org/work/W1597916519> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1597916519 abstract "We describe a polymorphic extension of the substructural lambda calculus αλ associated with the logic of bunched implications. This extension is particularly novel in that both variables and type variables are treated substructurally, being maintained through a system of zoned, bunched contexts. Polymorphic universal quantifiers are introduced in both additive and multiplicative forms, and then metatheoretic properties, including subject-reduction and normalization, are established. A sound interpretation in a class of indexed category models is defined and the construction of a generic model is outlined, yielding completeness. A concrete realization of the categorical models is given using pairs of partial equivalence relations on the natural numbers. Polymorphic existential quantifiers are presented, together with some metatheory. Finally, potential applications to closures and memory-management are discussed." @default.
- W1597916519 created "2016-06-24" @default.
- W1597916519 creator A5013218535 @default.
- W1597916519 creator A5022301192 @default.
- W1597916519 creator A5082766959 @default.
- W1597916519 date "2005-01-01" @default.
- W1597916519 modified "2023-09-25" @default.
- W1597916519 title "On Bunched Polymorphism" @default.
- W1597916519 cites W1507902915 @default.
- W1597916519 cites W1591716390 @default.
- W1597916519 cites W1595372275 @default.
- W1597916519 cites W1964976097 @default.
- W1597916519 cites W1975082667 @default.
- W1597916519 cites W2008132476 @default.
- W1597916519 cites W2032017843 @default.
- W1597916519 cites W2086061699 @default.
- W1597916519 cites W2087875803 @default.
- W1597916519 cites W2104204098 @default.
- W1597916519 cites W2211325406 @default.
- W1597916519 cites W2911865844 @default.
- W1597916519 doi "https://doi.org/10.1007/11538363_5" @default.
- W1597916519 hasPublicationYear "2005" @default.
- W1597916519 type Work @default.
- W1597916519 sameAs 1597916519 @default.
- W1597916519 citedByCount "5" @default.
- W1597916519 crossrefType "book-chapter" @default.
- W1597916519 hasAuthorship W1597916519A5013218535 @default.
- W1597916519 hasAuthorship W1597916519A5022301192 @default.
- W1597916519 hasAuthorship W1597916519A5082766959 @default.
- W1597916519 hasConcept C102993220 @default.
- W1597916519 hasConcept C118615104 @default.
- W1597916519 hasConcept C119857082 @default.
- W1597916519 hasConcept C134306372 @default.
- W1597916519 hasConcept C135790938 @default.
- W1597916519 hasConcept C136119220 @default.
- W1597916519 hasConcept C136886441 @default.
- W1597916519 hasConcept C144024400 @default.
- W1597916519 hasConcept C19165224 @default.
- W1597916519 hasConcept C199343813 @default.
- W1597916519 hasConcept C199360897 @default.
- W1597916519 hasConcept C202444582 @default.
- W1597916519 hasConcept C203659156 @default.
- W1597916519 hasConcept C2777686260 @default.
- W1597916519 hasConcept C2778029271 @default.
- W1597916519 hasConcept C2780432614 @default.
- W1597916519 hasConcept C28077239 @default.
- W1597916519 hasConcept C33923547 @default.
- W1597916519 hasConcept C3845977 @default.
- W1597916519 hasConcept C39387531 @default.
- W1597916519 hasConcept C41008148 @default.
- W1597916519 hasConcept C42747912 @default.
- W1597916519 hasConcept C5274069 @default.
- W1597916519 hasConcept C71924100 @default.
- W1597916519 hasConcept C80444323 @default.
- W1597916519 hasConcept C80467683 @default.
- W1597916519 hasConceptScore W1597916519C102993220 @default.
- W1597916519 hasConceptScore W1597916519C118615104 @default.
- W1597916519 hasConceptScore W1597916519C119857082 @default.
- W1597916519 hasConceptScore W1597916519C134306372 @default.
- W1597916519 hasConceptScore W1597916519C135790938 @default.
- W1597916519 hasConceptScore W1597916519C136119220 @default.
- W1597916519 hasConceptScore W1597916519C136886441 @default.
- W1597916519 hasConceptScore W1597916519C144024400 @default.
- W1597916519 hasConceptScore W1597916519C19165224 @default.
- W1597916519 hasConceptScore W1597916519C199343813 @default.
- W1597916519 hasConceptScore W1597916519C199360897 @default.
- W1597916519 hasConceptScore W1597916519C202444582 @default.
- W1597916519 hasConceptScore W1597916519C203659156 @default.
- W1597916519 hasConceptScore W1597916519C2777686260 @default.
- W1597916519 hasConceptScore W1597916519C2778029271 @default.
- W1597916519 hasConceptScore W1597916519C2780432614 @default.
- W1597916519 hasConceptScore W1597916519C28077239 @default.
- W1597916519 hasConceptScore W1597916519C33923547 @default.
- W1597916519 hasConceptScore W1597916519C3845977 @default.
- W1597916519 hasConceptScore W1597916519C39387531 @default.
- W1597916519 hasConceptScore W1597916519C41008148 @default.
- W1597916519 hasConceptScore W1597916519C42747912 @default.
- W1597916519 hasConceptScore W1597916519C5274069 @default.
- W1597916519 hasConceptScore W1597916519C71924100 @default.
- W1597916519 hasConceptScore W1597916519C80444323 @default.
- W1597916519 hasConceptScore W1597916519C80467683 @default.
- W1597916519 hasLocation W15979165191 @default.
- W1597916519 hasOpenAccess W1597916519 @default.
- W1597916519 hasPrimaryLocation W15979165191 @default.
- W1597916519 hasRelatedWork W1596801655 @default.
- W1597916519 hasRelatedWork W1972437902 @default.
- W1597916519 hasRelatedWork W2358668433 @default.
- W1597916519 hasRelatedWork W2373011076 @default.
- W1597916519 hasRelatedWork W2376932109 @default.
- W1597916519 hasRelatedWork W2387147530 @default.
- W1597916519 hasRelatedWork W2390279801 @default.
- W1597916519 hasRelatedWork W2688602461 @default.
- W1597916519 hasRelatedWork W2748952813 @default.
- W1597916519 hasRelatedWork W2899084033 @default.
- W1597916519 isParatext "false" @default.
- W1597916519 isRetracted "false" @default.
- W1597916519 magId "1597916519" @default.
- W1597916519 workType "book-chapter" @default.