FRINK Linked Data Fragments server

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

• W4289793574 abstract "Given that (co)inductive types are naturally modelled as fixed points, it is unsurprising that fixed-point logics are of interest in the study of programming languages, via the Curry-Howard (or proofs-as-programs) correspondence. This motivates investigations of the structural proof-theory of fixed-point logics and of their cut-elimination procedures." @default.
• W4289793574 created "2022-08-04" @default.
• W4289793574 creator A5077133539 @default.
• W4289793574 creator A5078754001 @default.
• W4289793574 creator A5084860539 @default.
• W4289793574 creator A5085084958 @default.
• W4289793574 date "2022-08-02" @default.
• W4289793574 modified "2023-10-02" @default.
• W4289793574 title "Bouncing Threads for Circular and Non-Wellfounded Proofs" @default.
• W4289793574 cites W1523149969 @default.
• W4289793574 cites W1568149704 @default.
• W4289793574 cites W1877763552 @default.
• W4289793574 cites W1964454590 @default.
• W4289793574 cites W1999823887 @default.
• W4289793574 cites W2003295197 @default.
• W4289793574 cites W2010337608 @default.
• W4289793574 cites W2015640848 @default.
• W4289793574 cites W2026224392 @default.
• W4289793574 cites W2061970672 @default.
• W4289793574 cites W2071823993 @default.
• W4289793574 cites W2074592053 @default.
• W4289793574 cites W2083398633 @default.
• W4289793574 cites W2088881461 @default.
• W4289793574 cites W2099222814 @default.
• W4289793574 cites W2105259569 @default.
• W4289793574 cites W2116322260 @default.
• W4289793574 cites W2145617779 @default.
• W4289793574 cites W2153364044 @default.
• W4289793574 cites W2188068291 @default.
• W4289793574 cites W2529880865 @default.
• W4289793574 cites W2593993296 @default.
• W4289793574 cites W2911816136 @default.
• W4289793574 cites W2911865844 @default.
• W4289793574 cites W4238692953 @default.
• W4289793574 doi "https://doi.org/10.1145/3531130.3533375" @default.
• W4289793574 hasPublicationYear "2022" @default.
• W4289793574 type Work @default.
• W4289793574 citedByCount "3" @default.
• W4289793574 countsByYear W42897935742023 @default.
• W4289793574 crossrefType "proceedings-article" @default.
• W4289793574 hasAuthorship W4289793574A5077133539 @default.
• W4289793574 hasAuthorship W4289793574A5078754001 @default.
• W4289793574 hasAuthorship W4289793574A5084860539 @default.
• W4289793574 hasAuthorship W4289793574A5085084958 @default.
• W4289793574 hasBestOaLocation W42897935742 @default.
• W4289793574 hasConcept C108710211 @default.
• W4289793574 hasConcept C11413529 @default.
• W4289793574 hasConcept C118615104 @default.
• W4289793574 hasConcept C134306372 @default.
• W4289793574 hasConcept C136119220 @default.
• W4289793574 hasConcept C199343813 @default.
• W4289793574 hasConcept C199360897 @default.
• W4289793574 hasConcept C202444582 @default.
• W4289793574 hasConcept C206929604 @default.
• W4289793574 hasConcept C2318724 @default.
• W4289793574 hasConcept C2524010 @default.
• W4289793574 hasConcept C27333817 @default.
• W4289793574 hasConcept C2777686260 @default.
• W4289793574 hasConcept C28642324 @default.
• W4289793574 hasConcept C28719098 @default.
• W4289793574 hasConcept C33923547 @default.
• W4289793574 hasConcept C41008148 @default.
• W4289793574 hasConcept C45962547 @default.
• W4289793574 hasConcept C61445026 @default.
• W4289793574 hasConcept C71924100 @default.
• W4289793574 hasConcept C80444323 @default.
• W4289793574 hasConceptScore W4289793574C108710211 @default.
• W4289793574 hasConceptScore W4289793574C11413529 @default.
• W4289793574 hasConceptScore W4289793574C118615104 @default.
• W4289793574 hasConceptScore W4289793574C134306372 @default.
• W4289793574 hasConceptScore W4289793574C136119220 @default.
• W4289793574 hasConceptScore W4289793574C199343813 @default.
• W4289793574 hasConceptScore W4289793574C199360897 @default.
• W4289793574 hasConceptScore W4289793574C202444582 @default.
• W4289793574 hasConceptScore W4289793574C206929604 @default.
• W4289793574 hasConceptScore W4289793574C2318724 @default.
• W4289793574 hasConceptScore W4289793574C2524010 @default.
• W4289793574 hasConceptScore W4289793574C27333817 @default.
• W4289793574 hasConceptScore W4289793574C2777686260 @default.
• W4289793574 hasConceptScore W4289793574C28642324 @default.
• W4289793574 hasConceptScore W4289793574C28719098 @default.
• W4289793574 hasConceptScore W4289793574C33923547 @default.
• W4289793574 hasConceptScore W4289793574C41008148 @default.
• W4289793574 hasConceptScore W4289793574C45962547 @default.
• W4289793574 hasConceptScore W4289793574C61445026 @default.
• W4289793574 hasConceptScore W4289793574C71924100 @default.
• W4289793574 hasConceptScore W4289793574C80444323 @default.
• W4289793574 hasFunder F4320320883 @default.
• W4289793574 hasLocation W42897935741 @default.
• W4289793574 hasLocation W42897935742 @default.
• W4289793574 hasLocation W42897935743 @default.
• W4289793574 hasOpenAccess W4289793574 @default.
• W4289793574 hasPrimaryLocation W42897935741 @default.
• W4289793574 hasRelatedWork W1546516366 @default.
• W4289793574 hasRelatedWork W1965533470 @default.
• W4289793574 hasRelatedWork W2077911875 @default.
• W4289793574 hasRelatedWork W2124896286 @default.
• W4289793574 hasRelatedWork W2131851897 @default.
• W4289793574 hasRelatedWork W2161430598 @default.
• W4289793574 hasRelatedWork W2169114697 @default.

• next