Matches in SemOpenAlex for { <https://semopenalex.org/work/W1536360896> ?p ?o ?g. }
- W1536360896 abstract "We study the classical proofs as programs paradigm in Call-By-Value (CBV) setting. Specifically, we show the CBV normalization for CND (Parigot 92) can be simulated by the cut-elimination procedure for LKQ (Danos-Joinet-Schellinx 93), namely the q-protocol. We use a proof-term assignment system to prove this fact. The term calculus for CND we use follows Parigot's ? µ-Calculus and is closely related to Ong-Stewart's (Ong-Stewart 97). A new term calculus for LKQ is presented as a variant of ?-calculus with a let-construct. We then define a translation from CND into LKQ and prove simulation theorem. We also show the translation we use can be thought of a familiar CBV CPS-translation without translation on types." @default.
- W1536360896 created "2016-06-24" @default.
- W1536360896 creator A5048448976 @default.
- W1536360896 date "2002-01-01" @default.
- W1536360896 modified "2023-09-24" @default.
- W1536360896 title "A Proof Theoretical Account of Continuation Passing Style" @default.
- W1536360896 cites W1471398886 @default.
- W1536360896 cites W1488265857 @default.
- W1536360896 cites W1566334111 @default.
- W1536360896 cites W168357556 @default.
- W1536360896 cites W1985185257 @default.
- W1536360896 cites W1988097129 @default.
- W1536360896 cites W2008920425 @default.
- W1536360896 cites W2016326123 @default.
- W1536360896 cites W2018181305 @default.
- W1536360896 cites W2029818286 @default.
- W1536360896 cites W2055224523 @default.
- W1536360896 cites W2061350747 @default.
- W1536360896 cites W2084022800 @default.
- W1536360896 cites W2088735483 @default.
- W1536360896 cites W2096191306 @default.
- W1536360896 cites W2135287414 @default.
- W1536360896 cites W2145123272 @default.
- W1536360896 cites W2152013675 @default.
- W1536360896 cites W2153079347 @default.
- W1536360896 cites W2164691248 @default.
- W1536360896 cites W2170763268 @default.
- W1536360896 cites W4206283588 @default.
- W1536360896 doi "https://doi.org/10.1007/3-540-45793-3_33" @default.
- W1536360896 hasPublicationYear "2002" @default.
- W1536360896 type Work @default.
- W1536360896 sameAs 1536360896 @default.
- W1536360896 citedByCount "2" @default.
- W1536360896 crossrefType "book-chapter" @default.
- W1536360896 hasAuthorship W1536360896A5048448976 @default.
- W1536360896 hasConcept C104317684 @default.
- W1536360896 hasConcept C105580179 @default.
- W1536360896 hasConcept C108710211 @default.
- W1536360896 hasConcept C11413529 @default.
- W1536360896 hasConcept C121332964 @default.
- W1536360896 hasConcept C136119220 @default.
- W1536360896 hasConcept C136886441 @default.
- W1536360896 hasConcept C144024400 @default.
- W1536360896 hasConcept C149364088 @default.
- W1536360896 hasConcept C159333733 @default.
- W1536360896 hasConcept C185592680 @default.
- W1536360896 hasConcept C19165224 @default.
- W1536360896 hasConcept C199343813 @default.
- W1536360896 hasConcept C199360897 @default.
- W1536360896 hasConcept C202444582 @default.
- W1536360896 hasConcept C2524010 @default.
- W1536360896 hasConcept C2777686260 @default.
- W1536360896 hasConcept C33923547 @default.
- W1536360896 hasConcept C41008148 @default.
- W1536360896 hasConcept C55493867 @default.
- W1536360896 hasConcept C61797465 @default.
- W1536360896 hasConcept C62073222 @default.
- W1536360896 hasConcept C62520636 @default.
- W1536360896 hasConcept C71924100 @default.
- W1536360896 hasConcept C88626702 @default.
- W1536360896 hasConceptScore W1536360896C104317684 @default.
- W1536360896 hasConceptScore W1536360896C105580179 @default.
- W1536360896 hasConceptScore W1536360896C108710211 @default.
- W1536360896 hasConceptScore W1536360896C11413529 @default.
- W1536360896 hasConceptScore W1536360896C121332964 @default.
- W1536360896 hasConceptScore W1536360896C136119220 @default.
- W1536360896 hasConceptScore W1536360896C136886441 @default.
- W1536360896 hasConceptScore W1536360896C144024400 @default.
- W1536360896 hasConceptScore W1536360896C149364088 @default.
- W1536360896 hasConceptScore W1536360896C159333733 @default.
- W1536360896 hasConceptScore W1536360896C185592680 @default.
- W1536360896 hasConceptScore W1536360896C19165224 @default.
- W1536360896 hasConceptScore W1536360896C199343813 @default.
- W1536360896 hasConceptScore W1536360896C199360897 @default.
- W1536360896 hasConceptScore W1536360896C202444582 @default.
- W1536360896 hasConceptScore W1536360896C2524010 @default.
- W1536360896 hasConceptScore W1536360896C2777686260 @default.
- W1536360896 hasConceptScore W1536360896C33923547 @default.
- W1536360896 hasConceptScore W1536360896C41008148 @default.
- W1536360896 hasConceptScore W1536360896C55493867 @default.
- W1536360896 hasConceptScore W1536360896C61797465 @default.
- W1536360896 hasConceptScore W1536360896C62073222 @default.
- W1536360896 hasConceptScore W1536360896C62520636 @default.
- W1536360896 hasConceptScore W1536360896C71924100 @default.
- W1536360896 hasConceptScore W1536360896C88626702 @default.
- W1536360896 hasLocation W15363608961 @default.
- W1536360896 hasOpenAccess W1536360896 @default.
- W1536360896 hasPrimaryLocation W15363608961 @default.
- W1536360896 hasRelatedWork W1494376884 @default.
- W1536360896 hasRelatedWork W1507316189 @default.
- W1536360896 hasRelatedWork W1557149243 @default.
- W1536360896 hasRelatedWork W1575662350 @default.
- W1536360896 hasRelatedWork W1969661839 @default.
- W1536360896 hasRelatedWork W1975575519 @default.
- W1536360896 hasRelatedWork W1989653304 @default.
- W1536360896 hasRelatedWork W2006341276 @default.
- W1536360896 hasRelatedWork W2016326123 @default.
- W1536360896 hasRelatedWork W2032124026 @default.
- W1536360896 hasRelatedWork W2053001507 @default.
- W1536360896 hasRelatedWork W2058338325 @default.