Matches in SemOpenAlex for { <https://semopenalex.org/work/W4306295103> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4306295103 abstract "Logical frameworks provide natural and direct ways of specifying and reasoning within deductive systems. The logical framework LF and subsequent developments focus on finitary proof systems, making the formalization of circular proof systems in such logical frameworks a cumbersome and awkward task. To address this issue, we propose CoLF, a conservative extension of LF with higher-order rational terms and mixed inductive and coinductive definitions. In this framework, two terms are equal if they unfold to the same infinite regular Bohm tree. Both term equality and type checking are decidable in CoLF. We illustrate the elegance and expressive power of the framework with several small case studies." @default.
- W4306295103 created "2022-10-15" @default.
- W4306295103 creator A5021476649 @default.
- W4306295103 creator A5079572598 @default.
- W4306295103 date "2022-10-12" @default.
- W4306295103 modified "2023-09-26" @default.
- W4306295103 title "A Logical Framework with Higher-Order Rational (Circular) Terms" @default.
- W4306295103 doi "https://doi.org/10.48550/arxiv.2210.06663" @default.
- W4306295103 hasPublicationYear "2022" @default.
- W4306295103 type Work @default.
- W4306295103 citedByCount "0" @default.
- W4306295103 crossrefType "posted-content" @default.
- W4306295103 hasAuthorship W4306295103A5021476649 @default.
- W4306295103 hasAuthorship W4306295103A5079572598 @default.
- W4306295103 hasBestOaLocation W43062951031 @default.
- W4306295103 hasConcept C108710211 @default.
- W4306295103 hasConcept C111472728 @default.
- W4306295103 hasConcept C118615104 @default.
- W4306295103 hasConcept C120665830 @default.
- W4306295103 hasConcept C121332964 @default.
- W4306295103 hasConcept C138885662 @default.
- W4306295103 hasConcept C153269930 @default.
- W4306295103 hasConcept C192209626 @default.
- W4306295103 hasConcept C195818886 @default.
- W4306295103 hasConcept C199343813 @default.
- W4306295103 hasConcept C199360897 @default.
- W4306295103 hasConcept C20693621 @default.
- W4306295103 hasConcept C2524010 @default.
- W4306295103 hasConcept C2777686260 @default.
- W4306295103 hasConcept C2778003309 @default.
- W4306295103 hasConcept C2778029271 @default.
- W4306295103 hasConcept C2778698498 @default.
- W4306295103 hasConcept C2778701210 @default.
- W4306295103 hasConcept C2780432614 @default.
- W4306295103 hasConcept C33923547 @default.
- W4306295103 hasConcept C40220748 @default.
- W4306295103 hasConcept C41008148 @default.
- W4306295103 hasConcept C71924100 @default.
- W4306295103 hasConcept C80444323 @default.
- W4306295103 hasConcept C98045186 @default.
- W4306295103 hasConceptScore W4306295103C108710211 @default.
- W4306295103 hasConceptScore W4306295103C111472728 @default.
- W4306295103 hasConceptScore W4306295103C118615104 @default.
- W4306295103 hasConceptScore W4306295103C120665830 @default.
- W4306295103 hasConceptScore W4306295103C121332964 @default.
- W4306295103 hasConceptScore W4306295103C138885662 @default.
- W4306295103 hasConceptScore W4306295103C153269930 @default.
- W4306295103 hasConceptScore W4306295103C192209626 @default.
- W4306295103 hasConceptScore W4306295103C195818886 @default.
- W4306295103 hasConceptScore W4306295103C199343813 @default.
- W4306295103 hasConceptScore W4306295103C199360897 @default.
- W4306295103 hasConceptScore W4306295103C20693621 @default.
- W4306295103 hasConceptScore W4306295103C2524010 @default.
- W4306295103 hasConceptScore W4306295103C2777686260 @default.
- W4306295103 hasConceptScore W4306295103C2778003309 @default.
- W4306295103 hasConceptScore W4306295103C2778029271 @default.
- W4306295103 hasConceptScore W4306295103C2778698498 @default.
- W4306295103 hasConceptScore W4306295103C2778701210 @default.
- W4306295103 hasConceptScore W4306295103C2780432614 @default.
- W4306295103 hasConceptScore W4306295103C33923547 @default.
- W4306295103 hasConceptScore W4306295103C40220748 @default.
- W4306295103 hasConceptScore W4306295103C41008148 @default.
- W4306295103 hasConceptScore W4306295103C71924100 @default.
- W4306295103 hasConceptScore W4306295103C80444323 @default.
- W4306295103 hasConceptScore W4306295103C98045186 @default.
- W4306295103 hasLocation W43062951031 @default.
- W4306295103 hasOpenAccess W4306295103 @default.
- W4306295103 hasPrimaryLocation W43062951031 @default.
- W4306295103 hasRelatedWork W17910728 @default.
- W4306295103 hasRelatedWork W1863095476 @default.
- W4306295103 hasRelatedWork W1984360665 @default.
- W4306295103 hasRelatedWork W2099447962 @default.
- W4306295103 hasRelatedWork W2743782362 @default.
- W4306295103 hasRelatedWork W4224641903 @default.
- W4306295103 hasRelatedWork W4250918063 @default.
- W4306295103 hasRelatedWork W4288046570 @default.
- W4306295103 hasRelatedWork W4306295103 @default.
- W4306295103 hasRelatedWork W4366551135 @default.
- W4306295103 isParatext "false" @default.
- W4306295103 isRetracted "false" @default.
- W4306295103 workType "article" @default.