Matches in SemOpenAlex for { <https://semopenalex.org/work/W139012711> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W139012711 endingPage "213" @default.
- W139012711 startingPage "203" @default.
- W139012711 abstract "In a previous work, we showed the uniform continuity of definable functionals in intuitionistic type theory as an application of forcing with dependent types. The argument was constructive, and so contains implicitly an algorithm which computes a witness that a given functional is uniformly continuous. We present here such an algorithm, which provides a possible computational interpretation of forcing." @default.
- W139012711 created "2016-06-24" @default.
- W139012711 creator A5086987751 @default.
- W139012711 creator A5087100539 @default.
- W139012711 date "2012-01-01" @default.
- W139012711 modified "2023-09-27" @default.
- W139012711 title "A Computational Interpretation of Forcing in Type Theory" @default.
- W139012711 cites W126568045 @default.
- W139012711 cites W1515039666 @default.
- W139012711 cites W1592599574 @default.
- W139012711 cites W1977324591 @default.
- W139012711 cites W1994999396 @default.
- W139012711 cites W2019980137 @default.
- W139012711 cites W2037984920 @default.
- W139012711 cites W2095378146 @default.
- W139012711 cites W2142087589 @default.
- W139012711 cites W3104826616 @default.
- W139012711 doi "https://doi.org/10.1007/978-94-007-4435-6_10" @default.
- W139012711 hasPublicationYear "2012" @default.
- W139012711 type Work @default.
- W139012711 sameAs 139012711 @default.
- W139012711 citedByCount "10" @default.
- W139012711 countsByYear W1390127112013 @default.
- W139012711 countsByYear W1390127112015 @default.
- W139012711 countsByYear W1390127112016 @default.
- W139012711 countsByYear W1390127112017 @default.
- W139012711 countsByYear W1390127112019 @default.
- W139012711 countsByYear W1390127112021 @default.
- W139012711 crossrefType "book-chapter" @default.
- W139012711 hasAuthorship W139012711A5086987751 @default.
- W139012711 hasAuthorship W139012711A5087100539 @default.
- W139012711 hasBestOaLocation W1390127112 @default.
- W139012711 hasConcept C111919701 @default.
- W139012711 hasConcept C11413529 @default.
- W139012711 hasConcept C127313418 @default.
- W139012711 hasConcept C134306372 @default.
- W139012711 hasConcept C151730666 @default.
- W139012711 hasConcept C185592680 @default.
- W139012711 hasConcept C197115733 @default.
- W139012711 hasConcept C199360897 @default.
- W139012711 hasConcept C2776900844 @default.
- W139012711 hasConcept C2777299769 @default.
- W139012711 hasConcept C2778701210 @default.
- W139012711 hasConcept C33923547 @default.
- W139012711 hasConcept C41008148 @default.
- W139012711 hasConcept C527412718 @default.
- W139012711 hasConcept C55493867 @default.
- W139012711 hasConcept C93682546 @default.
- W139012711 hasConcept C98045186 @default.
- W139012711 hasConcept C98184364 @default.
- W139012711 hasConceptScore W139012711C111919701 @default.
- W139012711 hasConceptScore W139012711C11413529 @default.
- W139012711 hasConceptScore W139012711C127313418 @default.
- W139012711 hasConceptScore W139012711C134306372 @default.
- W139012711 hasConceptScore W139012711C151730666 @default.
- W139012711 hasConceptScore W139012711C185592680 @default.
- W139012711 hasConceptScore W139012711C197115733 @default.
- W139012711 hasConceptScore W139012711C199360897 @default.
- W139012711 hasConceptScore W139012711C2776900844 @default.
- W139012711 hasConceptScore W139012711C2777299769 @default.
- W139012711 hasConceptScore W139012711C2778701210 @default.
- W139012711 hasConceptScore W139012711C33923547 @default.
- W139012711 hasConceptScore W139012711C41008148 @default.
- W139012711 hasConceptScore W139012711C527412718 @default.
- W139012711 hasConceptScore W139012711C55493867 @default.
- W139012711 hasConceptScore W139012711C93682546 @default.
- W139012711 hasConceptScore W139012711C98045186 @default.
- W139012711 hasConceptScore W139012711C98184364 @default.
- W139012711 hasLocation W1390127111 @default.
- W139012711 hasLocation W1390127112 @default.
- W139012711 hasLocation W1390127113 @default.
- W139012711 hasLocation W1390127114 @default.
- W139012711 hasLocation W1390127115 @default.
- W139012711 hasOpenAccess W139012711 @default.
- W139012711 hasPrimaryLocation W1390127111 @default.
- W139012711 hasRelatedWork W1508317172 @default.
- W139012711 hasRelatedWork W1589408343 @default.
- W139012711 hasRelatedWork W185600849 @default.
- W139012711 hasRelatedWork W2019812776 @default.
- W139012711 hasRelatedWork W2395002622 @default.
- W139012711 hasRelatedWork W2516305474 @default.
- W139012711 hasRelatedWork W3209418602 @default.
- W139012711 hasRelatedWork W3217362411 @default.
- W139012711 hasRelatedWork W4214590217 @default.
- W139012711 hasRelatedWork W71610686 @default.
- W139012711 isParatext "false" @default.
- W139012711 isRetracted "false" @default.
- W139012711 magId "139012711" @default.
- W139012711 workType "book-chapter" @default.