亚历克斯·罗宁·本迪克森；博杰森，比亚克布雷多；汉斯·休特尔；斯迪安·利贝奇 高阶计算的泛型类型系统。 （英语） Zbl 07800868号 Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368，43-59（2022）。MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bendixen}等人，《电子》。程序。西奥。计算。科学。（EPTCS）368，43-59（2022；Zbl 07800868） 全文： arXiv公司 链接
Tsubasa Shoshi；石川、高沼；小林直树；肯·萨卡约里；佐藤隆介；津田，武士 通过还原为顺序程序终止，对\（\pi\）-演算进行终止分析。 （英语） Zbl 1520.68098号 哦，Hakjoo（编辑），编程语言和系统。第19届亚洲研讨会，APLAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13008, 265-284 (2021).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Shoshi}等人，Lect。注释计算。科学。13008265-284（2021；Zbl 1520.68098） 全文： DOI程序 arXiv公司
罗曼·德曼根；丹尼尔·赫希科夫；戴维·桑吉奥吉 移动进程和终止。 （英语） Zbl 1253.68239号 Palsberg，Jens（编辑），语义和代数规范。在彼得·D·摩斯60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-04163-1/pbk）。计算机科学课堂讲稿5700，250-273（2009）。MSC公司：68问题85 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Demangeon}等人，Lect。注释计算。科学。5700、250--273（2009年；Zbl 1253.68239） 全文： DOI程序