Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566334111> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1566334111 abstract "We show that a certain simple call-by-name continuation semantics of Parigot's /spl lambda//sub /spl mu//-calculus (1992) is complete. More precisely, for every /spl lambda//spl mu/-theory we construct a cartesian closed category such that the ensuing continuation-style interpretation of /spl lambda//sub /spl mu//, which maps terms to functions sending abstract continuations to responses, is full and faithful. Thus, any /spl lambda//sub /spl mu//-category in the sense of is isomorphic to a continuation model derived from a cartesian-closed category of continuations." @default.
- W1566334111 created "2016-06-24" @default.
- W1566334111 creator A5075724502 @default.
- W1566334111 creator A5022583176 @default.
- W1566334111 date "2002-11-22" @default.
- W1566334111 modified "2023-10-18" @default.
- W1566334111 title "Continuation models are universal for λ/sub μ/-calculus" @default.
- W1566334111 cites W1975575519 @default.
- W1566334111 cites W1988097129 @default.
- W1566334111 cites W2007974484 @default.
- W1566334111 cites W2034257290 @default.
- W1566334111 doi "https://doi.org/10.1109/lics.1997.614964" @default.
- W1566334111 hasPublicationYear "2002" @default.
- W1566334111 type Work @default.
- W1566334111 sameAs 1566334111 @default.
- W1566334111 citedByCount "17" @default.
- W1566334111 countsByYear W15663341112013 @default.
- W1566334111 countsByYear W15663341112022 @default.
- W1566334111 crossrefType "proceedings-article" @default.
- W1566334111 hasAuthorship W1566334111A5022583176 @default.
- W1566334111 hasAuthorship W1566334111A5075724502 @default.
- W1566334111 hasConcept C111472728 @default.
- W1566334111 hasConcept C118615104 @default.
- W1566334111 hasConcept C120665830 @default.
- W1566334111 hasConcept C121332964 @default.
- W1566334111 hasConcept C135790938 @default.
- W1566334111 hasConcept C136119220 @default.
- W1566334111 hasConcept C138885662 @default.
- W1566334111 hasConcept C142156749 @default.
- W1566334111 hasConcept C16038011 @default.
- W1566334111 hasConcept C171032842 @default.
- W1566334111 hasConcept C184337299 @default.
- W1566334111 hasConcept C199343813 @default.
- W1566334111 hasConcept C199360897 @default.
- W1566334111 hasConcept C202444582 @default.
- W1566334111 hasConcept C2524010 @default.
- W1566334111 hasConcept C2777686260 @default.
- W1566334111 hasConcept C2778113609 @default.
- W1566334111 hasConcept C2780586882 @default.
- W1566334111 hasConcept C33923547 @default.
- W1566334111 hasConcept C41008148 @default.
- W1566334111 hasConcept C527412718 @default.
- W1566334111 hasConcept C61237538 @default.
- W1566334111 hasConcept C62073222 @default.
- W1566334111 hasConcept C71924100 @default.
- W1566334111 hasConcept C77736955 @default.
- W1566334111 hasConcept C88626702 @default.
- W1566334111 hasConceptScore W1566334111C111472728 @default.
- W1566334111 hasConceptScore W1566334111C118615104 @default.
- W1566334111 hasConceptScore W1566334111C120665830 @default.
- W1566334111 hasConceptScore W1566334111C121332964 @default.
- W1566334111 hasConceptScore W1566334111C135790938 @default.
- W1566334111 hasConceptScore W1566334111C136119220 @default.
- W1566334111 hasConceptScore W1566334111C138885662 @default.
- W1566334111 hasConceptScore W1566334111C142156749 @default.
- W1566334111 hasConceptScore W1566334111C16038011 @default.
- W1566334111 hasConceptScore W1566334111C171032842 @default.
- W1566334111 hasConceptScore W1566334111C184337299 @default.
- W1566334111 hasConceptScore W1566334111C199343813 @default.
- W1566334111 hasConceptScore W1566334111C199360897 @default.
- W1566334111 hasConceptScore W1566334111C202444582 @default.
- W1566334111 hasConceptScore W1566334111C2524010 @default.
- W1566334111 hasConceptScore W1566334111C2777686260 @default.
- W1566334111 hasConceptScore W1566334111C2778113609 @default.
- W1566334111 hasConceptScore W1566334111C2780586882 @default.
- W1566334111 hasConceptScore W1566334111C33923547 @default.
- W1566334111 hasConceptScore W1566334111C41008148 @default.
- W1566334111 hasConceptScore W1566334111C527412718 @default.
- W1566334111 hasConceptScore W1566334111C61237538 @default.
- W1566334111 hasConceptScore W1566334111C62073222 @default.
- W1566334111 hasConceptScore W1566334111C71924100 @default.
- W1566334111 hasConceptScore W1566334111C77736955 @default.
- W1566334111 hasConceptScore W1566334111C88626702 @default.
- W1566334111 hasLocation W15663341111 @default.
- W1566334111 hasOpenAccess W1566334111 @default.
- W1566334111 hasPrimaryLocation W15663341111 @default.
- W1566334111 hasRelatedWork W1487264664 @default.
- W1566334111 hasRelatedWork W1595139175 @default.
- W1566334111 hasRelatedWork W2012491527 @default.
- W1566334111 hasRelatedWork W2119636363 @default.
- W1566334111 hasRelatedWork W2146437601 @default.
- W1566334111 hasRelatedWork W2276378996 @default.
- W1566334111 hasRelatedWork W2373977992 @default.
- W1566334111 hasRelatedWork W2958677436 @default.
- W1566334111 hasRelatedWork W4281982925 @default.
- W1566334111 hasRelatedWork W2785405191 @default.
- W1566334111 isParatext "false" @default.
- W1566334111 isRetracted "false" @default.
- W1566334111 magId "1566334111" @default.
- W1566334111 workType "article" @default.