Matches in SemOpenAlex for { <https://semopenalex.org/work/W2090410559> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2090410559 endingPage "577" @default.
- W2090410559 startingPage "565" @default.
- W2090410559 abstract "This paper surveys several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higher-order functionals in the language of finite types. All interpretations discussed treat the exponential-free fragment of linear logic in a common way. They only differ in how much advantage one of the players has in the exponential games. We discuss how the several choices for the interpretation of the modalities correspond to various well-known functional interpretations of intuitionistic logic, including Gödel’s Dialectica interpretation and Kreisel’s modified realizability." @default.
- W2090410559 created "2016-06-24" @default.
- W2090410559 creator A5084236771 @default.
- W2090410559 date "2010-05-01" @default.
- W2090410559 modified "2023-09-30" @default.
- W2090410559 title "Functional interpretations of linear and intuitionistic logic" @default.
- W2090410559 cites W1525064220 @default.
- W2090410559 cites W1593010335 @default.
- W2090410559 cites W1955464333 @default.
- W2090410559 cites W1987058504 @default.
- W2090410559 cites W1988735961 @default.
- W2090410559 cites W2028602249 @default.
- W2090410559 cites W2041461531 @default.
- W2090410559 cites W2064201145 @default.
- W2090410559 cites W2069777583 @default.
- W2090410559 cites W2097978997 @default.
- W2090410559 cites W2135734418 @default.
- W2090410559 cites W2165506927 @default.
- W2090410559 cites W2911865844 @default.
- W2090410559 cites W2954301182 @default.
- W2090410559 cites W4238692953 @default.
- W2090410559 doi "https://doi.org/10.1016/j.ic.2008.11.008" @default.
- W2090410559 hasPublicationYear "2010" @default.
- W2090410559 type Work @default.
- W2090410559 sameAs 2090410559 @default.
- W2090410559 citedByCount "8" @default.
- W2090410559 countsByYear W20904105592012 @default.
- W2090410559 countsByYear W20904105592014 @default.
- W2090410559 countsByYear W20904105592017 @default.
- W2090410559 countsByYear W20904105592020 @default.
- W2090410559 countsByYear W20904105592021 @default.
- W2090410559 crossrefType "journal-article" @default.
- W2090410559 hasAuthorship W2090410559A5084236771 @default.
- W2090410559 hasBestOaLocation W20904105591 @default.
- W2090410559 hasConcept C111472728 @default.
- W2090410559 hasConcept C138885662 @default.
- W2090410559 hasConcept C144237770 @default.
- W2090410559 hasConcept C154945302 @default.
- W2090410559 hasConcept C199343813 @default.
- W2090410559 hasConcept C204321447 @default.
- W2090410559 hasConcept C2777686260 @default.
- W2090410559 hasConcept C28077239 @default.
- W2090410559 hasConcept C33923547 @default.
- W2090410559 hasConcept C41008148 @default.
- W2090410559 hasConcept C71924100 @default.
- W2090410559 hasConcept C80444323 @default.
- W2090410559 hasConceptScore W2090410559C111472728 @default.
- W2090410559 hasConceptScore W2090410559C138885662 @default.
- W2090410559 hasConceptScore W2090410559C144237770 @default.
- W2090410559 hasConceptScore W2090410559C154945302 @default.
- W2090410559 hasConceptScore W2090410559C199343813 @default.
- W2090410559 hasConceptScore W2090410559C204321447 @default.
- W2090410559 hasConceptScore W2090410559C2777686260 @default.
- W2090410559 hasConceptScore W2090410559C28077239 @default.
- W2090410559 hasConceptScore W2090410559C33923547 @default.
- W2090410559 hasConceptScore W2090410559C41008148 @default.
- W2090410559 hasConceptScore W2090410559C71924100 @default.
- W2090410559 hasConceptScore W2090410559C80444323 @default.
- W2090410559 hasIssue "5" @default.
- W2090410559 hasLocation W20904105591 @default.
- W2090410559 hasOpenAccess W2090410559 @default.
- W2090410559 hasPrimaryLocation W20904105591 @default.
- W2090410559 hasRelatedWork W1515542156 @default.
- W2090410559 hasRelatedWork W1837762017 @default.
- W2090410559 hasRelatedWork W1992419927 @default.
- W2090410559 hasRelatedWork W2293457016 @default.
- W2090410559 hasRelatedWork W2368651715 @default.
- W2090410559 hasRelatedWork W2611614995 @default.
- W2090410559 hasRelatedWork W2789919619 @default.
- W2090410559 hasRelatedWork W3107474891 @default.
- W2090410559 hasRelatedWork W3169305685 @default.
- W2090410559 hasRelatedWork W4321496520 @default.
- W2090410559 hasVolume "208" @default.
- W2090410559 isParatext "false" @default.
- W2090410559 isRetracted "false" @default.
- W2090410559 magId "2090410559" @default.
- W2090410559 workType "article" @default.