约阿希姆·蒂尔斯泰德·克里斯滕森;罗宾·卡斯加德;迈克尔·柯克达尔·汤姆森 可逆函数的尾部递归变换。 （英语） Zbl 07786596号 Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13960, 73-88 (2023).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{J.T.Kristensen}等人，Lect。注释计算。科学。13960、73-88（2023年；Zbl 07786596） 全文： 内政部 arXiv公司
罗伯特·格莱克;横山，铁雄 从编程语言的角度看可逆计算。 （英语） Zbl 07667524号 西奥。计算。科学。 953，文章ID 113429，26 p.（2023）.MSC公司：68甲15 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}和\textit{T.横山}，Theor。计算。科学。953，文章ID 113429，26 p.（2023；Zbl 07667524） 全文： 内政部 OA许可证