FRINK Linked Data Fragments server

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

• W2752466704 endingPage "45" @default.
• W2752466704 startingPage "39" @default.
• W2752466704 abstract "We show how solutions to many recursive arena equations can be computed in a natural way by allowing loops in arenas. We then equip arenas with winning functions and total winning strategies. We present two natural winning conditions compatible with the loop construction which respectively provide initial algebras and terminal coalgebras for a large class of continuous functors. Finally, we introduce an intuitionistic sequent calculus, extended with syntactic constructions for least and greatest fixed points, and prove it has a sound and (in a certain weak sense) complete interpretation in our game model." @default.
• W2752466704 created "2017-09-15" @default.
• W2752466704 creator A5008333115 @default.
• W2752466704 date "2009-01-01" @default.
• W2752466704 modified "2023-10-01" @default.
• W2752466704 title "Least and Greatest Fixpoints in Game Semantics." @default.
• W2752466704 hasPublicationYear "2009" @default.
• W2752466704 type Work @default.
• W2752466704 sameAs 2752466704 @default.
• W2752466704 citedByCount "0" @default.
• W2752466704 crossrefType "proceedings-article" @default.
• W2752466704 hasAuthorship W2752466704A5008333115 @default.
• W2752466704 hasConcept C108710211 @default.
• W2752466704 hasConcept C118615104 @default.
• W2752466704 hasConcept C136119220 @default.
• W2752466704 hasConcept C144237770 @default.
• W2752466704 hasConcept C154945302 @default.
• W2752466704 hasConcept C156325763 @default.
• W2752466704 hasConcept C156772000 @default.
• W2752466704 hasConcept C166957645 @default.
• W2752466704 hasConcept C184264201 @default.
• W2752466704 hasConcept C184337299 @default.
• W2752466704 hasConcept C199343813 @default.
• W2752466704 hasConcept C199360897 @default.
• W2752466704 hasConcept C202444582 @default.
• W2752466704 hasConcept C207648694 @default.
• W2752466704 hasConcept C2524010 @default.
• W2752466704 hasConcept C2776608160 @default.
• W2752466704 hasConcept C2777212361 @default.
• W2752466704 hasConcept C2777686260 @default.
• W2752466704 hasConcept C2778112365 @default.
• W2752466704 hasConcept C2780654840 @default.
• W2752466704 hasConcept C28077239 @default.
• W2752466704 hasConcept C33923547 @default.
• W2752466704 hasConcept C41008148 @default.
• W2752466704 hasConcept C527412718 @default.
• W2752466704 hasConcept C54355233 @default.
• W2752466704 hasConcept C62073222 @default.
• W2752466704 hasConcept C65880906 @default.
• W2752466704 hasConcept C71924100 @default.
• W2752466704 hasConcept C80444323 @default.
• W2752466704 hasConcept C86803240 @default.
• W2752466704 hasConcept C89421646 @default.
• W2752466704 hasConcept C95457728 @default.
• W2752466704 hasConcept C9672783 @default.
• W2752466704 hasConceptScore W2752466704C108710211 @default.
• W2752466704 hasConceptScore W2752466704C118615104 @default.
• W2752466704 hasConceptScore W2752466704C136119220 @default.
• W2752466704 hasConceptScore W2752466704C144237770 @default.
• W2752466704 hasConceptScore W2752466704C154945302 @default.
• W2752466704 hasConceptScore W2752466704C156325763 @default.
• W2752466704 hasConceptScore W2752466704C156772000 @default.
• W2752466704 hasConceptScore W2752466704C166957645 @default.
• W2752466704 hasConceptScore W2752466704C184264201 @default.
• W2752466704 hasConceptScore W2752466704C184337299 @default.
• W2752466704 hasConceptScore W2752466704C199343813 @default.
• W2752466704 hasConceptScore W2752466704C199360897 @default.
• W2752466704 hasConceptScore W2752466704C202444582 @default.
• W2752466704 hasConceptScore W2752466704C207648694 @default.
• W2752466704 hasConceptScore W2752466704C2524010 @default.
• W2752466704 hasConceptScore W2752466704C2776608160 @default.
• W2752466704 hasConceptScore W2752466704C2777212361 @default.
• W2752466704 hasConceptScore W2752466704C2777686260 @default.
• W2752466704 hasConceptScore W2752466704C2778112365 @default.
• W2752466704 hasConceptScore W2752466704C2780654840 @default.
• W2752466704 hasConceptScore W2752466704C28077239 @default.
• W2752466704 hasConceptScore W2752466704C33923547 @default.
• W2752466704 hasConceptScore W2752466704C41008148 @default.
• W2752466704 hasConceptScore W2752466704C527412718 @default.
• W2752466704 hasConceptScore W2752466704C54355233 @default.
• W2752466704 hasConceptScore W2752466704C62073222 @default.
• W2752466704 hasConceptScore W2752466704C65880906 @default.
• W2752466704 hasConceptScore W2752466704C71924100 @default.
• W2752466704 hasConceptScore W2752466704C80444323 @default.
• W2752466704 hasConceptScore W2752466704C86803240 @default.
• W2752466704 hasConceptScore W2752466704C89421646 @default.
• W2752466704 hasConceptScore W2752466704C95457728 @default.
• W2752466704 hasConceptScore W2752466704C9672783 @default.
• W2752466704 hasLocation W27524667041 @default.
• W2752466704 hasOpenAccess W2752466704 @default.
• W2752466704 hasPrimaryLocation W27524667041 @default.
• W2752466704 hasRelatedWork W1526036637 @default.
• W2752466704 hasRelatedWork W1526446965 @default.
• W2752466704 hasRelatedWork W1585206918 @default.
• W2752466704 hasRelatedWork W1597148527 @default.
• W2752466704 hasRelatedWork W1979324214 @default.
• W2752466704 hasRelatedWork W1997489695 @default.
• W2752466704 hasRelatedWork W2011173527 @default.
• W2752466704 hasRelatedWork W2093094242 @default.
• W2752466704 hasRelatedWork W2094685149 @default.
• W2752466704 hasRelatedWork W2115452397 @default.
• W2752466704 hasRelatedWork W2136510622 @default.
• W2752466704 hasRelatedWork W2294245595 @default.
• W2752466704 hasRelatedWork W2302431466 @default.
• W2752466704 hasRelatedWork W2320858954 @default.
• W2752466704 hasRelatedWork W2593389623 @default.
• W2752466704 hasRelatedWork W2806100514 @default.
• W2752466704 hasRelatedWork W2911874855 @default.

• next