Media type: E-Article Title: A proof system of the CaIT calculus Contributor: Chen, Ningning; Zhu, Huibiao imprint: Springer Science and Business Media LLC, 2024 Published in: Frontiers of Computer Science Language: English DOI: 10.1007/s11704-022-2258-3 ISSN: 2095-2228; 2095-2236 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: