Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301944229> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4301944229 abstract "We show that context semantics can be fruitfully applied to the quantitative analysis of proof normalization in linear logic. In particular, context semantics lets us define the weight of a proof-net as a measure of its inherent complexity: it is both an upper bound to normalization time (modulo a polynomial overhead, independently on the reduction strategy) and a lower bound to the number of steps to normal form (for certain reduction strategies). Weights are then exploited in proving strong soundness theorems for various subsystems of linear logic, namely elementary linear logic, soft linear logic and light linear logic." @default.
- W4301944229 created "2022-10-06" @default.
- W4301944229 creator A5084450516 @default.
- W4301944229 date "2005-10-31" @default.
- W4301944229 modified "2023-09-30" @default.
- W4301944229 title "Context Semantics, Linear Logic and Computational Complexity" @default.
- W4301944229 doi "https://doi.org/10.48550/arxiv.cs/0510092" @default.
- W4301944229 hasPublicationYear "2005" @default.
- W4301944229 type Work @default.
- W4301944229 citedByCount "0" @default.
- W4301944229 crossrefType "posted-content" @default.
- W4301944229 hasAuthorship W4301944229A5084450516 @default.
- W4301944229 hasBestOaLocation W43019442291 @default.
- W4301944229 hasConcept C102993220 @default.
- W4301944229 hasConcept C11413529 @default.
- W4301944229 hasConcept C118615104 @default.
- W4301944229 hasConcept C136886441 @default.
- W4301944229 hasConcept C144024400 @default.
- W4301944229 hasConcept C144760519 @default.
- W4301944229 hasConcept C169896238 @default.
- W4301944229 hasConcept C19165224 @default.
- W4301944229 hasConcept C199360897 @default.
- W4301944229 hasConcept C28077239 @default.
- W4301944229 hasConcept C33923547 @default.
- W4301944229 hasConcept C39920170 @default.
- W4301944229 hasConcept C41008148 @default.
- W4301944229 hasConcept C4777664 @default.
- W4301944229 hasConcept C80444323 @default.
- W4301944229 hasConceptScore W4301944229C102993220 @default.
- W4301944229 hasConceptScore W4301944229C11413529 @default.
- W4301944229 hasConceptScore W4301944229C118615104 @default.
- W4301944229 hasConceptScore W4301944229C136886441 @default.
- W4301944229 hasConceptScore W4301944229C144024400 @default.
- W4301944229 hasConceptScore W4301944229C144760519 @default.
- W4301944229 hasConceptScore W4301944229C169896238 @default.
- W4301944229 hasConceptScore W4301944229C19165224 @default.
- W4301944229 hasConceptScore W4301944229C199360897 @default.
- W4301944229 hasConceptScore W4301944229C28077239 @default.
- W4301944229 hasConceptScore W4301944229C33923547 @default.
- W4301944229 hasConceptScore W4301944229C39920170 @default.
- W4301944229 hasConceptScore W4301944229C41008148 @default.
- W4301944229 hasConceptScore W4301944229C4777664 @default.
- W4301944229 hasConceptScore W4301944229C80444323 @default.
- W4301944229 hasLocation W43019442291 @default.
- W4301944229 hasOpenAccess W4301944229 @default.
- W4301944229 hasPrimaryLocation W43019442291 @default.
- W4301944229 hasRelatedWork W1533537820 @default.
- W4301944229 hasRelatedWork W1972490368 @default.
- W4301944229 hasRelatedWork W1999703197 @default.
- W4301944229 hasRelatedWork W2016867439 @default.
- W4301944229 hasRelatedWork W2030878450 @default.
- W4301944229 hasRelatedWork W2070382139 @default.
- W4301944229 hasRelatedWork W2169724594 @default.
- W4301944229 hasRelatedWork W2351986896 @default.
- W4301944229 hasRelatedWork W4301944229 @default.
- W4301944229 hasRelatedWork W1682317081 @default.
- W4301944229 isParatext "false" @default.
- W4301944229 isRetracted "false" @default.
- W4301944229 workType "article" @default.