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 "quantum programming with inductive datatypes causality and affine type theory"):
  Abstract: Inductive datatypes in programming languages allow users to define useful data structures such as natural numbers, lists, trees, and others. In this paper we show how inductive datatypes may be added to the quantum programming language QPL. We construct a sound categorical model for the language and by doing so we provide the first detailed semantic treatment of user-defined inductive datatypes in quantum programming. We also show our denotational interpretation is invariant with respect to big-step reduction, thereby establishing another novel result for quantum programming. Compared to classical programming, this property is considerably more difficult to prove and we demonstrate its usefulness by showing how it immediately implies computational adequacy at all types. To further cement our results, our semantics is entirely based on a physically natural model of von Neumann algebras, which are mathematical structures used by physicists to study quantum mechanics.

Includes members:
  Member "mixed linear and non linear recursive types":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "lnl fpc the linear non linear fixpoint calculus")
  Member "enriching a linear non linear lambda calculus a programming language for string diagrams":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "realizability in the unitary sphere")
  Member "von neumann algebras form a model for the quantum lambda calculus":
    also connected through other hyperedges:
      (none)
  Member "semantics of higher order quantum computation via geometry of interaction":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "a hott quantum equational theory extended version")
  Member "the geometry of parallelism classical probabilistic and quantum effects":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "the abstract machinery of interaction long version")
  Member "semantics for a quantum programming language by operator algebras":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "classical control quantum circuits and linear logic in enriched category theory")

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)