Matches in SemOpenAlex for { <https://semopenalex.org/work/W3106178847> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3106178847 startingPage "24" @default.
- W3106178847 abstract "We investigate intersection types and resource lambda-calculus in deep-inference proof theory. We give a unified type system that is parametric in various aspects: it encompasses resource calculi, intersection-typed lambda-calculus, and simply-typed lambda-calculus; it accommodates both idempotence and non-idempotence; it characterizes strong and weak normalization; and it does so while allowing a range of algebraic laws to determine reduction behaviour, for various quantitative effects. We give a parametric resource calculus with explicit sharing, the collection calculus, as a Curry-Howard interpretation of the type system, that embodies these computational properties." @default.
- W3106178847 created "2020-11-23" @default.
- W3106178847 creator A5027732469 @default.
- W3106178847 creator A5046929882 @default.
- W3106178847 creator A5081519201 @default.
- W3106178847 date "2021-01-13" @default.
- W3106178847 modified "2023-10-17" @default.
- W3106178847 title "A Deep Quantitative Type System" @default.
- W3106178847 doi "https://doi.org/10.4230/lipics.csl.2021.24" @default.
- W3106178847 hasPublicationYear "2021" @default.
- W3106178847 type Work @default.
- W3106178847 sameAs 3106178847 @default.
- W3106178847 citedByCount "0" @default.
- W3106178847 crossrefType "proceedings-article" @default.
- W3106178847 hasAuthorship W3106178847A5027732469 @default.
- W3106178847 hasAuthorship W3106178847A5046929882 @default.
- W3106178847 hasAuthorship W3106178847A5081519201 @default.
- W3106178847 hasConcept C118615104 @default.
- W3106178847 hasConcept C127413603 @default.
- W3106178847 hasConcept C135790938 @default.
- W3106178847 hasConcept C136119220 @default.
- W3106178847 hasConcept C136886441 @default.
- W3106178847 hasConcept C142156749 @default.
- W3106178847 hasConcept C144024400 @default.
- W3106178847 hasConcept C146978453 @default.
- W3106178847 hasConcept C154945302 @default.
- W3106178847 hasConcept C19165224 @default.
- W3106178847 hasConcept C199343813 @default.
- W3106178847 hasConcept C202444582 @default.
- W3106178847 hasConcept C2776214188 @default.
- W3106178847 hasConcept C2777686260 @default.
- W3106178847 hasConcept C33923547 @default.
- W3106178847 hasConcept C41008148 @default.
- W3106178847 hasConcept C55128367 @default.
- W3106178847 hasConcept C61237538 @default.
- W3106178847 hasConcept C64543145 @default.
- W3106178847 hasConcept C71924100 @default.
- W3106178847 hasConcept C85343465 @default.
- W3106178847 hasConceptScore W3106178847C118615104 @default.
- W3106178847 hasConceptScore W3106178847C127413603 @default.
- W3106178847 hasConceptScore W3106178847C135790938 @default.
- W3106178847 hasConceptScore W3106178847C136119220 @default.
- W3106178847 hasConceptScore W3106178847C136886441 @default.
- W3106178847 hasConceptScore W3106178847C142156749 @default.
- W3106178847 hasConceptScore W3106178847C144024400 @default.
- W3106178847 hasConceptScore W3106178847C146978453 @default.
- W3106178847 hasConceptScore W3106178847C154945302 @default.
- W3106178847 hasConceptScore W3106178847C19165224 @default.
- W3106178847 hasConceptScore W3106178847C199343813 @default.
- W3106178847 hasConceptScore W3106178847C202444582 @default.
- W3106178847 hasConceptScore W3106178847C2776214188 @default.
- W3106178847 hasConceptScore W3106178847C2777686260 @default.
- W3106178847 hasConceptScore W3106178847C33923547 @default.
- W3106178847 hasConceptScore W3106178847C41008148 @default.
- W3106178847 hasConceptScore W3106178847C55128367 @default.
- W3106178847 hasConceptScore W3106178847C61237538 @default.
- W3106178847 hasConceptScore W3106178847C64543145 @default.
- W3106178847 hasConceptScore W3106178847C71924100 @default.
- W3106178847 hasConceptScore W3106178847C85343465 @default.
- W3106178847 hasLocation W31061788471 @default.
- W3106178847 hasOpenAccess W3106178847 @default.
- W3106178847 hasPrimaryLocation W31061788471 @default.
- W3106178847 hasRelatedWork W1481783499 @default.
- W3106178847 hasRelatedWork W1556311577 @default.
- W3106178847 hasRelatedWork W1692052839 @default.
- W3106178847 hasRelatedWork W1820150402 @default.
- W3106178847 hasRelatedWork W1947083798 @default.
- W3106178847 hasRelatedWork W1973520397 @default.
- W3106178847 hasRelatedWork W2019313571 @default.
- W3106178847 hasRelatedWork W2055962247 @default.
- W3106178847 hasRelatedWork W2063043413 @default.
- W3106178847 hasRelatedWork W2076577093 @default.
- W3106178847 hasRelatedWork W2088507877 @default.
- W3106178847 hasRelatedWork W2151604885 @default.
- W3106178847 hasRelatedWork W2253601327 @default.
- W3106178847 hasRelatedWork W2337004052 @default.
- W3106178847 hasRelatedWork W2754782259 @default.
- W3106178847 hasRelatedWork W2957545921 @default.
- W3106178847 hasRelatedWork W2990154007 @default.
- W3106178847 hasRelatedWork W2997902268 @default.
- W3106178847 hasRelatedWork W3006681913 @default.
- W3106178847 hasRelatedWork W3097998064 @default.
- W3106178847 isParatext "false" @default.
- W3106178847 isRetracted "false" @default.
- W3106178847 magId "3106178847" @default.
- W3106178847 workType "article" @default.