human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "intersection types for the lambda mu calculus"
  Abstract: We introduce an intersection type system for the lambda-mu calculus that is#N#invariant under subject reduction and expansion. The system is obtained by#N#describing Streicher and Reus's denotational model of continuations in the#N#category of omega-algebraic lattices via Abramsky's domain-logic approach. This#N#provides at the same time an interpretation of the type system and a proof of#N#the completeness of the system with respect to the continuation models by means#N#of a filter model construction. We then define a restriction of our system,#N#such that a lambda-mu term is typeable if and only if it is strongly#N#normalising. We also show that Parigot's typing of lambda-mu terms with#N#classically valid propositional formulas can be translated into the restricted#N#system, which then provides an alternative proof of strong normalisability for#N#the typed lambda-mu calculus.

Connected through hyperedge HE-1 (induced by source paper "complete additivity and modal incompleteness"):
  with members:
    - "strongly complete logics for coalgebras"
    - "algorithmic correspondence and completeness in modal logic i the core algorithm sqema"

Question: Please tell me which class the center node 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)