Matches in SemOpenAlex for { <https://semopenalex.org/work/W176593450> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W176593450 endingPage "60" @default.
- W176593450 startingPage "48" @default.
- W176593450 abstract "Pitts and Stark’s ν-calculus is a paradigmatic total language for studying the problem of contextual equivalence in higher-order languages with name generation. Models for the ν-calculus that validate basic equivalences concerning names may be constructed using functor categories or nominal sets, with a dynamic allocation monad used to model computations that may allocate fresh names. If recursion is added to the language and one attempts to adapt the models from (nominal) sets to (nominal) domains, however, the direct-style construction of the allocation monad no longer works. This issue has previously been addressed by using a monad that combines dynamic allocation with continuations, at some cost to abstraction.This paper presents a direct-style model of a ν-calculus-like language with recursion using the novel framework of proof-relevant logical relations, in which logical relations also contain objects (or proofs) demonstrating the equivalence of (the semantic counterparts of) programs. Apart from providing a fresh solution to an old problem, this work provides an accessible setting in which to introduce the use of proof-relevant logical relations, free of the additional complexities associated with their use for more sophisticated languages." @default.
- W176593450 created "2016-06-24" @default.
- W176593450 creator A5023252122 @default.
- W176593450 creator A5075724502 @default.
- W176593450 creator A5080152569 @default.
- W176593450 date "2013-01-01" @default.
- W176593450 modified "2023-10-18" @default.
- W176593450 title "Proof-Relevant Logical Relations for Name Generation" @default.
- W176593450 cites W1495825275 @default.
- W176593450 cites W1815958522 @default.
- W176593450 cites W1975082667 @default.
- W176593450 cites W1988136938 @default.
- W176593450 cites W2067169385 @default.
- W176593450 cites W2128159126 @default.
- W176593450 cites W2135620953 @default.
- W176593450 cites W2136171121 @default.
- W176593450 cites W2167696897 @default.
- W176593450 cites W2168025539 @default.
- W176593450 cites W2606605761 @default.
- W176593450 doi "https://doi.org/10.1007/978-3-642-38946-7_6" @default.
- W176593450 hasPublicationYear "2013" @default.
- W176593450 type Work @default.
- W176593450 sameAs 176593450 @default.
- W176593450 citedByCount "8" @default.
- W176593450 countsByYear W1765934502014 @default.
- W176593450 countsByYear W1765934502015 @default.
- W176593450 countsByYear W1765934502018 @default.
- W176593450 countsByYear W1765934502019 @default.
- W176593450 countsByYear W1765934502020 @default.
- W176593450 countsByYear W1765934502021 @default.
- W176593450 crossrefType "book-chapter" @default.
- W176593450 hasAuthorship W176593450A5023252122 @default.
- W176593450 hasAuthorship W176593450A5075724502 @default.
- W176593450 hasAuthorship W176593450A5080152569 @default.
- W176593450 hasBestOaLocation W1765934502 @default.
- W176593450 hasConcept C108710211 @default.
- W176593450 hasConcept C111472728 @default.
- W176593450 hasConcept C118615104 @default.
- W176593450 hasConcept C124304363 @default.
- W176593450 hasConcept C134752490 @default.
- W176593450 hasConcept C135790938 @default.
- W176593450 hasConcept C136119220 @default.
- W176593450 hasConcept C138885662 @default.
- W176593450 hasConcept C154945302 @default.
- W176593450 hasConcept C156772000 @default.
- W176593450 hasConcept C168773036 @default.
- W176593450 hasConcept C199360897 @default.
- W176593450 hasConcept C202444582 @default.
- W176593450 hasConcept C2318724 @default.
- W176593450 hasConcept C2524010 @default.
- W176593450 hasConcept C2780069185 @default.
- W176593450 hasConcept C33923547 @default.
- W176593450 hasConcept C33959348 @default.
- W176593450 hasConcept C41008148 @default.
- W176593450 hasConcept C70846408 @default.
- W176593450 hasConcept C80444323 @default.
- W176593450 hasConceptScore W176593450C108710211 @default.
- W176593450 hasConceptScore W176593450C111472728 @default.
- W176593450 hasConceptScore W176593450C118615104 @default.
- W176593450 hasConceptScore W176593450C124304363 @default.
- W176593450 hasConceptScore W176593450C134752490 @default.
- W176593450 hasConceptScore W176593450C135790938 @default.
- W176593450 hasConceptScore W176593450C136119220 @default.
- W176593450 hasConceptScore W176593450C138885662 @default.
- W176593450 hasConceptScore W176593450C154945302 @default.
- W176593450 hasConceptScore W176593450C156772000 @default.
- W176593450 hasConceptScore W176593450C168773036 @default.
- W176593450 hasConceptScore W176593450C199360897 @default.
- W176593450 hasConceptScore W176593450C202444582 @default.
- W176593450 hasConceptScore W176593450C2318724 @default.
- W176593450 hasConceptScore W176593450C2524010 @default.
- W176593450 hasConceptScore W176593450C2780069185 @default.
- W176593450 hasConceptScore W176593450C33923547 @default.
- W176593450 hasConceptScore W176593450C33959348 @default.
- W176593450 hasConceptScore W176593450C41008148 @default.
- W176593450 hasConceptScore W176593450C70846408 @default.
- W176593450 hasConceptScore W176593450C80444323 @default.
- W176593450 hasLocation W1765934501 @default.
- W176593450 hasLocation W1765934502 @default.
- W176593450 hasLocation W1765934503 @default.
- W176593450 hasOpenAccess W176593450 @default.
- W176593450 hasPrimaryLocation W1765934501 @default.
- W176593450 hasRelatedWork W176593450 @default.
- W176593450 hasRelatedWork W2061828175 @default.
- W176593450 hasRelatedWork W27898482 @default.
- W176593450 hasRelatedWork W2949532401 @default.
- W176593450 hasRelatedWork W3099956889 @default.
- W176593450 hasRelatedWork W3160136729 @default.
- W176593450 hasRelatedWork W39132223 @default.
- W176593450 hasRelatedWork W4300093470 @default.
- W176593450 hasRelatedWork W2584260698 @default.
- W176593450 hasRelatedWork W2788343810 @default.
- W176593450 isParatext "false" @default.
- W176593450 isRetracted "false" @default.
- W176593450 magId "176593450" @default.
- W176593450 workType "book-chapter" @default.