zbMATH中的参考文献（参考文献11条)

1. 小林，直木；拉戈，乌戈达尔；Grellois，Charles:关于概率高阶递归程序的终止问题（2020）
2. 浅田、和谷；小林，直木；仙亚，龙马；津田，Takeshi：几乎每个简单类型的（\lambda）项都有一个长的（\beta）缩减序列（2019年）
3. Kobayashi，Naoki：非确定性递归程序方案的前沿语言和Dyck语言之间的包含是不可判定的（2019年）
4. 昂，C.-H。卢克：自动机，逻辑和游戏（\lambda）-微积分（2017）
5. 佐藤，琉球；Kobayashi，Naoki:高阶功能程序的模块化验证（2017）
6. 仙亚，龙马；浅田、和谷；小林，直木；津田，Takeshi：几乎每个简单类型的（\lambda）术语都有一个长的（\beta）缩减序列（2017年）
7. 铃木，琉球；藤岛、光一；小林，直木；Tsukada，Takeshi:高阶递归方案的Streett自动机模型检验（2017）
8. 范俊；盖克，安德鲁；Whalen，Michael W.：关于代数数据类型的抽象推理（2016）
9. 太郎、大谷；津田、竹石；Kobayashi，Naoki：直接风格的高阶模型检验（2016）
10. 靖田，和藏；津田、竹石；Kobayashi，Naoki:具有动态资源创建的高阶并发程序验证（2016）
11. 久原诚司，Takuya；佐藤，琉球；不，弘石；Kobayashi，Naoki:谓词抽象和CEGAR对高阶函数程序终止的反驳（2015）