罗伯特·格莱克;罗宾·卡斯加德;横山，铁雄 从可逆编程语言到可逆元语言。 （英语） Zbl 07527764号 西奥。计算。科学。 920, 46-63 (2022).MSC公司：68甲15 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}等人，Theor。计算。科学。920、46-63（2022；Zbl 07527764） 全文： DOI程序
罗宾·卡斯加德 条件/决策二元性和广泛限制类别的内部逻辑。 （英语） 兹伯利07515960 Barbara König（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4-7日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。347, 179-202 (2019).MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Kaarsgaard}，电子。理论注释。计算。科学。347179-202（2019年；Zbl 07515960） 全文： DOI程序 arXiv公司
罗宾·卡斯加德 反转、迭代和双重运用的艺术。 （英语） Zbl 1467.68083号 汤姆森、迈克尔·柯克达尔（编辑）等，《可逆计算》。第11届国际会议，2019年6月24日至25日，瑞士洛桑，RC 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11497, 34-50 (2019). 审核人：马尔蒂·卡沃宁（渥太华） MSC公司：68问题55 18 C50 18天20分 18米40 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kaarsgaard}，莱克特。注释计算。科学。11497，34-50（2019；Zbl 1467.68083） 全文： DOI程序 arXiv公司 链接
克里斯·希恩;罗宾·卡斯加德;马尔蒂·卡沃宁 反向箭头的可逆效果。 （英语） Zbl 1527.68070号 Staton，Sam（编辑），第34届编程语义数学基础会议论文集（MFPS XXXIV），加拿大哈利法克斯达尔豪西大学，2018年6月6日至9日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。341, 179-199 (2018).MSC公司：2009年第68季度 18 C50 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.Heunen}等人，《电子》。理论注释。计算。科学。341179--199（2018年；Zbl 1527.68070） 全文： DOI程序 arXiv公司
罗伯特·格莱克;罗宾·卡斯加德 结构化可逆流程图语言的分类基础。 （英语） Zbl 1525.68025号 Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。336, 155-171 (2018).MSC公司：68号30 18 C50 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛R.Glück｝和\textit｛R.Kaarsgaard｝，电子。理论注释。计算。科学。336155--171（2018年；Zbl 1525.68025） 全文： DOI程序
罗伯特·格莱克;罗宾·卡斯加德 结构化可逆流程图语言的分类基础：可靠性和充分性。 （英语） Zbl 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） 全文： DOI程序 arXiv公司
罗宾·卡斯加德;博克·阿克塞尔森，霍尔格;罗伯特·格莱克 连接逆范畴和可逆递归。 （英语） Zbl 1359.68045号 J.日志。阿尔盖布。方法计划。 87, 33-50 (2017).MSC公司：68甲18 18 C50 18天20分 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Kaarsgaard}等人，J.Log。阿尔盖布。方法计划。87、33-50（2017年；Zbl 1359.68045） 全文： DOI程序