Matches in SemOpenAlex for { <https://semopenalex.org/work/W4309968679> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4309968679 abstract "We present a new modular proof method of termination for second-order computation, and report its implementation SOL. The proof method is useful for proving termination of higher-order foundational calculi. To establish the method, we use a variation of semantic labelling translation and Blanqui's General Schema: a syntactic criterion of strong normalisation. As an application, we apply this method to show termination of a variant of call-by-push-value calculus with algebraic effects and effect handlers. We also show that our tool SOL is effective to solve higher-order termination problems." @default.
- W4309968679 created "2022-11-30" @default.
- W4309968679 creator A5081721784 @default.
- W4309968679 date "2019-12-06" @default.
- W4309968679 modified "2023-10-16" @default.
- W4309968679 title "Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers" @default.
- W4309968679 doi "https://doi.org/10.48550/arxiv.1912.03434" @default.
- W4309968679 hasPublicationYear "2019" @default.
- W4309968679 type Work @default.
- W4309968679 citedByCount "0" @default.
- W4309968679 crossrefType "posted-content" @default.
- W4309968679 hasAuthorship W4309968679A5081721784 @default.
- W4309968679 hasBestOaLocation W43099686791 @default.
- W4309968679 hasConcept C10138342 @default.
- W4309968679 hasConcept C101468663 @default.
- W4309968679 hasConcept C11413529 @default.
- W4309968679 hasConcept C134306372 @default.
- W4309968679 hasConcept C136003732 @default.
- W4309968679 hasConcept C136119220 @default.
- W4309968679 hasConcept C162324750 @default.
- W4309968679 hasConcept C182306322 @default.
- W4309968679 hasConcept C199360897 @default.
- W4309968679 hasConcept C202444582 @default.
- W4309968679 hasConcept C23123220 @default.
- W4309968679 hasConcept C33923547 @default.
- W4309968679 hasConcept C41008148 @default.
- W4309968679 hasConcept C45374587 @default.
- W4309968679 hasConcept C52146309 @default.
- W4309968679 hasConcept C80444323 @default.
- W4309968679 hasConcept C9376300 @default.
- W4309968679 hasConceptScore W4309968679C10138342 @default.
- W4309968679 hasConceptScore W4309968679C101468663 @default.
- W4309968679 hasConceptScore W4309968679C11413529 @default.
- W4309968679 hasConceptScore W4309968679C134306372 @default.
- W4309968679 hasConceptScore W4309968679C136003732 @default.
- W4309968679 hasConceptScore W4309968679C136119220 @default.
- W4309968679 hasConceptScore W4309968679C162324750 @default.
- W4309968679 hasConceptScore W4309968679C182306322 @default.
- W4309968679 hasConceptScore W4309968679C199360897 @default.
- W4309968679 hasConceptScore W4309968679C202444582 @default.
- W4309968679 hasConceptScore W4309968679C23123220 @default.
- W4309968679 hasConceptScore W4309968679C33923547 @default.
- W4309968679 hasConceptScore W4309968679C41008148 @default.
- W4309968679 hasConceptScore W4309968679C45374587 @default.
- W4309968679 hasConceptScore W4309968679C52146309 @default.
- W4309968679 hasConceptScore W4309968679C80444323 @default.
- W4309968679 hasConceptScore W4309968679C9376300 @default.
- W4309968679 hasLocation W43099686791 @default.
- W4309968679 hasOpenAccess W4309968679 @default.
- W4309968679 hasPrimaryLocation W43099686791 @default.
- W4309968679 hasRelatedWork W1575869532 @default.
- W4309968679 hasRelatedWork W158491281 @default.
- W4309968679 hasRelatedWork W2007142390 @default.
- W4309968679 hasRelatedWork W2071277929 @default.
- W4309968679 hasRelatedWork W2093580155 @default.
- W4309968679 hasRelatedWork W2162494038 @default.
- W4309968679 hasRelatedWork W4288283598 @default.
- W4309968679 hasRelatedWork W4309968679 @default.
- W4309968679 hasRelatedWork W65105529 @default.
- W4309968679 hasRelatedWork W2522372746 @default.
- W4309968679 isParatext "false" @default.
- W4309968679 isRetracted "false" @default.
- W4309968679 workType "article" @default.