human: Given a node-centered hypergraph: <hypergraph>, where nodes represent authors and hyperedges represent groups of authors who co-authored the same paper.

Details of the hypergraph:
Center node: "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.

Connected through hyperedge HE-1 (induced by source paper "Bisimulation in name-passing calculi without matching"):
  with members:
    (none)

Question: Please tell me which research area the center author belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science