human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "Imperative objects as mobile processes"):
  Abstract: An interpretation of Abadi and Cardelli's first-order Imperative c-calculus into a typed π-calculus is presented. The interpretation validates the subtyping relation and the typing judgments of the c-calculus, and is computationally adequate. The proof of computational adequacy makes use of (a π-calculus version) of ready simulation, and of a factorization of the interpretation into a functional part and a very simple imperative part. The interpretation can be extended to accommodate various type features. The interpretation can be used to compare and contrast the Imperative and the Functional c-calculus, and to prove properties about them, within a unified framework.

Includes members:
  Member "Bisimulation in name-passing calculi without matching":
    also connected through other hyperedges:
      (none)

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science