We, the authors, would like to thank Guillaume Aucher for informing us of his “Displaying Updates in Logic”, published in the Journal of Logic and Computation, 26(6):1865-1912 (2016).

中文翻译：

---

更正：带共轭的兰贝克微积分

我们，作者，要感谢 Guillaume Aucher 告知我们他的“Displaying Updates in Logic”，发表于 Journal of Logic and Computation, 26(6):1865-1912 (2016)。