FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1511921628> ?p ?o ?g. }

• W1511921628 abstract "We introduce a polymorphic call-by-value calculus, λ exc v , based on 2nd order classical logic. The call-by-value computation rules are defined based on proof reductions, in which classical proof reductions are regarded as a logical permutative reduction in the sense of Prawitz and a dual permutative reduction. It is shown that the CPS-translation from the core λ exc v to the intuitionistic fragment, i.e., the Damas-Milner type system is sound. We discuss that the use of the dual permutative reduction is, in general, uncorrected in polymorphic calculi. We also show the Church-Rosser property of λ exc v , and the soundness and completeness of the type inference algorithm W. From the subject reduction property, it is obtained that a program whose type is inferred by W never leads to a type-error under the rewriting semantics. Finally, we give a brief comparison with ML plus callcc and some of the existing call-by-value styles." @default.
• W1511921628 created "2016-06-24" @default.
• W1511921628 creator A5019957756 @default.
• W1511921628 date "1998-01-01" @default.
• W1511921628 modified "2023-09-26" @default.
• W1511921628 title "Polymorphic call-by-value calculus based on classical proofs" @default.
• W1511921628 cites W1557413548 @default.
• W1511921628 cites W1584940602 @default.
• W1511921628 cites W1977212480 @default.
• W1511921628 cites W1988097129 @default.
• W1511921628 cites W2013654056 @default.
• W1511921628 cites W2088735483 @default.
• W1511921628 cites W2097230120 @default.
• W1511921628 cites W2135287414 @default.
• W1511921628 cites W2151156765 @default.
• W1511921628 cites W2151716725 @default.
• W1511921628 cites W2163976959 @default.
• W1511921628 cites W2166822586 @default.
• W1511921628 cites W4246046081 @default.
• W1511921628 doi "https://doi.org/10.1007/bfb0055911" @default.
• W1511921628 hasPublicationYear "1998" @default.
• W1511921628 type Work @default.
• W1511921628 sameAs 1511921628 @default.
• W1511921628 citedByCount "3" @default.
• W1511921628 crossrefType "book-chapter" @default.
• W1511921628 hasAuthorship W1511921628A5019957756 @default.
• W1511921628 hasConcept C108710211 @default.
• W1511921628 hasConcept C111335779 @default.
• W1511921628 hasConcept C11413529 @default.
• W1511921628 hasConcept C118615104 @default.
• W1511921628 hasConcept C134306372 @default.
• W1511921628 hasConcept C135790938 @default.
• W1511921628 hasConcept C154690210 @default.
• W1511921628 hasConcept C17231256 @default.
• W1511921628 hasConcept C184337299 @default.
• W1511921628 hasConcept C18903297 @default.
• W1511921628 hasConcept C199343813 @default.
• W1511921628 hasConcept C199360897 @default.
• W1511921628 hasConcept C2524010 @default.
• W1511921628 hasConcept C2777299769 @default.
• W1511921628 hasConcept C2777686260 @default.
• W1511921628 hasConcept C28077239 @default.
• W1511921628 hasConcept C33923547 @default.
• W1511921628 hasConcept C39920170 @default.
• W1511921628 hasConcept C41008148 @default.
• W1511921628 hasConcept C42383842 @default.
• W1511921628 hasConcept C62073222 @default.
• W1511921628 hasConcept C71924100 @default.
• W1511921628 hasConcept C80444323 @default.
• W1511921628 hasConcept C86803240 @default.
• W1511921628 hasConcept C93682546 @default.
• W1511921628 hasConceptScore W1511921628C108710211 @default.
• W1511921628 hasConceptScore W1511921628C111335779 @default.
• W1511921628 hasConceptScore W1511921628C11413529 @default.
• W1511921628 hasConceptScore W1511921628C118615104 @default.
• W1511921628 hasConceptScore W1511921628C134306372 @default.
• W1511921628 hasConceptScore W1511921628C135790938 @default.
• W1511921628 hasConceptScore W1511921628C154690210 @default.
• W1511921628 hasConceptScore W1511921628C17231256 @default.
• W1511921628 hasConceptScore W1511921628C184337299 @default.
• W1511921628 hasConceptScore W1511921628C18903297 @default.
• W1511921628 hasConceptScore W1511921628C199343813 @default.
• W1511921628 hasConceptScore W1511921628C199360897 @default.
• W1511921628 hasConceptScore W1511921628C2524010 @default.
• W1511921628 hasConceptScore W1511921628C2777299769 @default.
• W1511921628 hasConceptScore W1511921628C2777686260 @default.
• W1511921628 hasConceptScore W1511921628C28077239 @default.
• W1511921628 hasConceptScore W1511921628C33923547 @default.
• W1511921628 hasConceptScore W1511921628C39920170 @default.
• W1511921628 hasConceptScore W1511921628C41008148 @default.
• W1511921628 hasConceptScore W1511921628C42383842 @default.
• W1511921628 hasConceptScore W1511921628C62073222 @default.
• W1511921628 hasConceptScore W1511921628C71924100 @default.
• W1511921628 hasConceptScore W1511921628C80444323 @default.
• W1511921628 hasConceptScore W1511921628C86803240 @default.
• W1511921628 hasConceptScore W1511921628C93682546 @default.
• W1511921628 hasLocation W15119216281 @default.
• W1511921628 hasOpenAccess W1511921628 @default.
• W1511921628 hasPrimaryLocation W15119216281 @default.
• W1511921628 hasRelatedWork W1558477806 @default.
• W1511921628 hasRelatedWork W1968532969 @default.
• W1511921628 hasRelatedWork W1999336350 @default.
• W1511921628 hasRelatedWork W2024515723 @default.
• W1511921628 hasRelatedWork W2036716130 @default.
• W1511921628 hasRelatedWork W2038174684 @default.
• W1511921628 hasRelatedWork W2049764522 @default.
• W1511921628 hasRelatedWork W2120300141 @default.
• W1511921628 hasRelatedWork W2276378996 @default.
• W1511921628 hasRelatedWork W2556763370 @default.
• W1511921628 hasRelatedWork W2621167117 @default.
• W1511921628 hasRelatedWork W2950649514 @default.
• W1511921628 hasRelatedWork W2952294944 @default.
• W1511921628 hasRelatedWork W3104152685 @default.
• W1511921628 hasRelatedWork W3138992896 @default.
• W1511921628 hasRelatedWork W314796037 @default.
• W1511921628 hasRelatedWork W3200172376 @default.
• W1511921628 hasRelatedWork W2412530041 @default.
• W1511921628 hasRelatedWork W2740609775 @default.
• W1511921628 isParatext "false" @default.
• W1511921628 isRetracted "false" @default.

• next