鲁本·罗伊，N.S。;范·贝克尔，S.J。 Featherweight Java的语义类型和近似。 （英语） 兹比尔1358.68180 西奥。计算。科学。 517, 34-74 (2014).MSC公司：68问题55 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.N.S.Rowe}和\textit{S.J.van Bakel}，Theor。计算。科学。517、34--74（2014年；Zbl 1358.68180） 全文： 内政部
范·贝克尔，斯特芬·J·。;鲁本·罗伊，N.S。 Featureweight Java的函数类型分配。致莱纳斯·普拉斯梅耶，以纪念他61岁生日。 （英语） Zbl 1405.68034号 Peter Achten等人，《函数代码之美》。在莱纳斯·普拉斯梅耶61岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-40354-5/pbk）。计算机科学8106课堂讲稿。人工智能课堂讲稿，27-46（2013）。MSC公司：68甲15 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.J.van Bakel}和\textit{R.N.S.Rowe}，莱克特。注释计算。科学。8106，27-46（2013年；兹比尔1405.68034） 全文： 内政部
鲁本·罗;范·贝克尔（Van Bakel，Steffen） 面向对象编程的近似语义和表达式谓词赋值（扩展抽象）。 （英语） Zbl 1331.68046号 Ong，Luke（编辑），《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21690-9/pbk；978-3-662-21691-6/电子书）。计算机科学讲座笔记6690，229-244（2011）。MSC公司：68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.Rowe}和\textit{S.Van Bakel}，莱克特。注释计算。科学。6690、229--244（2011；Zbl 1331.68046） 全文： 内政部
范·贝克尔，斯特芬 （上划线{\lambda}\mu\ tilde{\mu}\）的交并类型的完整性和部分稳健性结果。 （英语） Zbl 1225.03015号 Ann.纯粹应用。逻辑 161，第11号，1400-1430（2010）.MSC公司：03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.van Bakel}，Ann.纯苹果。逻辑161，No.111400--1430（2010；Zbl 1225.03015） 全文： 内政部
范·贝克尔，斯特芬 在严格的交叉口类型分配系统中，削减是高度规范化的。 （英语） Zbl 1095.03058号 圣母院J.形式逻辑 45，第1期，35-63（2004）.MSC公司：05年3月 03B40型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.van Bakel}，圣母院J.形式逻辑45，No.1，35--63（2004；Zbl 1095.03058） 全文： 内政部