约阿希姆·蒂尔斯泰德·克里斯滕森;罗宾·卡斯加德;迈克尔·柯克达尔·汤姆森 可逆函数的尾部递归变换。 （英文） 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公司
罗伯特·格莱克;罗宾·卡斯加德 结构化可逆流程图语言的分类基础：可靠性和充分性。 （英文） 兹比尔1398.68082 日志。方法计算。科学。 14，第3号，第16号论文，38页（2018）.MSC公司：68甲15 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}和\textit{R.Kaarsgaard}，Log。方法计算。科学。14，第3号，第16号论文，38页（2018；Zbl 1398.68082） 全文： 内政部 arXiv公司
罗宾·卡斯加德;博克·阿克塞尔森，霍尔格;罗伯特·格莱克 连接逆范畴和可逆递归。 （英文） Zbl 1359.68045号 J.日志。代数。方法计划。 87, 33-50 (2017).MSC公司：68甲18 18 C50 18D20天 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Kaarsgaard}等人，J.Log。代数。方法计划。87、33-50（2017年；Zbl 1359.68045） 全文： 内政部