human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "co algebraic foundations for effectful recursive definitions"):
  Abstract: A pervasive challenge in programming theory and practice are feature combinations. Here, we propose a semantic framework that combines monad-based computational effects (e.g. store, nondeterminism, random), underdefined or free operations (e.g. actions in process algebra and automata, exceptions), and recursive definitions (e.g. loops, systems of process equations). The joint treatment of these phenomena has previously led to models tending to one of two opposite extremes: extensional as, e.g., in domain theory, and intensional as in classical process algebra and more generally in universal coalgebra. Our metalanguage for effectful recursive definitions, designed in the spirit of Moggi's computational metalanguage, flexibly combines these intensional and extensional aspects of computations in a single framework. We base our development on a notion of complete Elgot monad, whose defining feature is a parametrized uniform iteration operator satisfying natural axioms in the style of Simpson and Plotkin. We provide a mechanism of adjoining free operations to such monads by means of cofree extensions, thus in particular allowing for a non-trivial semantics of non-terminating computations with free effects. Our main result states that the class of complete Elgot monads is closed under such cofree extensions, which thus serve as domains for effectful recursive definitions with free operations. Elgot monads do not require the iterated computation to be guarded, and hence iteration operators are not uniquely determined by just their defining fixpoint equation. Our results however imply that they are uniquely determined as extending the given iteration in the base effect and satisfying the axioms. We discuss a number of examples formalized in our metalanguage, including (co)recursive definitions of process-algebraic operations on side- effecting processes.

Includes members:
  Member "programming with algebraic effects and handlers":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "a cubical language for bishop sets")
  Member "handling algebraic effects":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "signature restriction for polymorphic algebraic effects")
  Member "abstract gsos rules and a modular treatment of recursive definitions":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "companions causality and codensity")
  Member "a coinductive calculus for asynchronous side effecting processes":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "interaction trees representing recursive and impure programs in coq")
  Member "generic trace semantics via coinduction":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "preservation of equations by monoidal monads")

Question: Please tell me which class the source paper belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.LO(Logic in Computer Science)