arXiv 2001-05-10 EN A Logical Framework for Convergent Infinite Computations Li, Wei · Ma, Shilong · Sui, Yuefei · Xu, Ke