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 "linear logic in normed cones probabilistic coherence spaces and beyond"):
  Abstract: Ehrhard, Pagani and Tasson proposed a model of probabilistic functional programming in a category of normed positive cones and stable measurable cone maps, which can be seen as a coordinate-free generalization of probabilistic coherence spaces. However, unlike the case of probabilistic coherence spaces, it remained unclear if the model could be refined to a model of classical linear logic. #R##N#In this work we consider a somewhat similar category which gives indeed a coordinate-free model of full propositional linear logic with nondegenerate interpretation of additives and sound interpretation of exponentials. Objects are dual pairs of normed cones satisfying certain specific completeness properties, such as existence of norm-bounded monotone weak limits, and morphisms are bounded (adjointable) positive maps. Norms allow us a distinct interpretation of dual additive connectives as product and coproduct. Exponential connectives are modelled using real analytic functions and distributions that have representations as power series with positive coefficients. #R##N#Unlike the familiar case of probabilistic coherence spaces, there is no reference or need for a preferred basis; in this sense the model is invariant. Probabilistic coherence spaces form a full subcategory, whose objects, seen as posets, are lattices. Thus we get a model fitting in the tradition of interpreting linear logic in a linear algebraic setting, which arguably is free from the drawbacks of its predecessors. #R##N#Relations with constructions of Ehrhard, Pagani and Tasson's work are left for future research.

Includes members:
  Member "measurable cones and stable measurable functions a model for probabilistic higher order programming":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "on the linear structure of cones")
  Member "on banach spaces of sequences and free linear logic exponential modality":
    also connected through other hyperedges:
      (none)
  Member "weak topologies for linear logic":
    also connected through other hyperedges:
      (none)
  Member "a convenient differential category":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "a differential form pullback programming language for higher order reverse mode automatic differentiation")

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)