Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300823828> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4300823828 abstract "Introduced by Dal Lago and Hofmann, quantitative realizability is a technique used to define models for logics based on Multiplicative Linear Logic. A particularity is that functions are interpreted as bounded time computable functions. It has been used to give new and uniform proofs of soundness of several type systems with respect to certain time complexity classes. We propose a reformulation of their ideas in the setting of Krivine's classical realizability. The framework obtained generalizes Dal Lago and Hofmann's realizability, and reveals deep connections between quantitative realizability and a linear variant of Cohen's forcing." @default.
- W4300823828 created "2022-10-04" @default.
- W4300823828 creator A5064471728 @default.
- W4300823828 date "2012-01-20" @default.
- W4300823828 modified "2023-09-28" @default.
- W4300823828 title "Quantitative classical realizability" @default.
- W4300823828 doi "https://doi.org/10.48550/arxiv.1201.4307" @default.
- W4300823828 hasPublicationYear "2012" @default.
- W4300823828 type Work @default.
- W4300823828 citedByCount "0" @default.
- W4300823828 crossrefType "posted-content" @default.
- W4300823828 hasAuthorship W4300823828A5064471728 @default.
- W4300823828 hasBestOaLocation W43008238281 @default.
- W4300823828 hasConcept C108710211 @default.
- W4300823828 hasConcept C11413529 @default.
- W4300823828 hasConcept C118615104 @default.
- W4300823828 hasConcept C134306372 @default.
- W4300823828 hasConcept C136119220 @default.
- W4300823828 hasConcept C178421362 @default.
- W4300823828 hasConcept C197115733 @default.
- W4300823828 hasConcept C199360897 @default.
- W4300823828 hasConcept C202444582 @default.
- W4300823828 hasConcept C2524010 @default.
- W4300823828 hasConcept C2776378722 @default.
- W4300823828 hasConcept C28077239 @default.
- W4300823828 hasConcept C33923547 @default.
- W4300823828 hasConcept C34388435 @default.
- W4300823828 hasConcept C39920170 @default.
- W4300823828 hasConcept C41008148 @default.
- W4300823828 hasConcept C42747912 @default.
- W4300823828 hasConceptScore W4300823828C108710211 @default.
- W4300823828 hasConceptScore W4300823828C11413529 @default.
- W4300823828 hasConceptScore W4300823828C118615104 @default.
- W4300823828 hasConceptScore W4300823828C134306372 @default.
- W4300823828 hasConceptScore W4300823828C136119220 @default.
- W4300823828 hasConceptScore W4300823828C178421362 @default.
- W4300823828 hasConceptScore W4300823828C197115733 @default.
- W4300823828 hasConceptScore W4300823828C199360897 @default.
- W4300823828 hasConceptScore W4300823828C202444582 @default.
- W4300823828 hasConceptScore W4300823828C2524010 @default.
- W4300823828 hasConceptScore W4300823828C2776378722 @default.
- W4300823828 hasConceptScore W4300823828C28077239 @default.
- W4300823828 hasConceptScore W4300823828C33923547 @default.
- W4300823828 hasConceptScore W4300823828C34388435 @default.
- W4300823828 hasConceptScore W4300823828C39920170 @default.
- W4300823828 hasConceptScore W4300823828C41008148 @default.
- W4300823828 hasConceptScore W4300823828C42747912 @default.
- W4300823828 hasLocation W43008238281 @default.
- W4300823828 hasLocation W43008238282 @default.
- W4300823828 hasOpenAccess W4300823828 @default.
- W4300823828 hasPrimaryLocation W43008238281 @default.
- W4300823828 hasRelatedWork W1621051805 @default.
- W4300823828 hasRelatedWork W1942966263 @default.
- W4300823828 hasRelatedWork W2032195084 @default.
- W4300823828 hasRelatedWork W2886737850 @default.
- W4300823828 hasRelatedWork W2950205384 @default.
- W4300823828 hasRelatedWork W2951694949 @default.
- W4300823828 hasRelatedWork W3101136070 @default.
- W4300823828 hasRelatedWork W3102365561 @default.
- W4300823828 hasRelatedWork W4300823828 @default.
- W4300823828 hasRelatedWork W2185509723 @default.
- W4300823828 isParatext "false" @default.
- W4300823828 isRetracted "false" @default.
- W4300823828 workType "article" @default.