纳克斯·保罗·门德勒
人员信息
SPARQL查询
优化列表
1990 – 1999
1995 [注2] 纳克斯·保罗·门德勒 , 普拉卡什·帕南加登 , 菲利普·斯科特 , 罗伯特·A·G·西利 :
并发约束编程的逻辑视图。 Nord.J.计算。 2 ( 2 ) : 181-220 ( 1995 ) 1991 [j1] 纳克斯·保罗·门德勒 :
二阶lambda微积分中的归纳类型和类型约束。 Ann.纯粹应用。 日志。 51 ( 1-2 ) : 159-172 ( 1991 ) 【c5】 纳克斯·保罗·门德勒 :
谓词型宇宙与本原递归。 低收入国家 1991 : 173-184
1980 – 1989
1989 【c4】 彼得·阿策尔 , 纳克斯·保罗·门德勒 :
一个最终的余代数定理。 范畴理论与计算机科学 1989 : 357-365 1987 【c3】 纳克斯·保罗·门德勒 :
二阶Lambda微积分中的递归类型和类型约束。 低收入国家 1987 : 30-36 1986 【b1】 罗伯特·康斯特布尔 , 斯图亚特·艾伦 , 布罗姆利 , 兰斯·克莱维兰 , J.F.克里默 , 罗伯·哈波 , 道格拉斯·J·豪 , 托德·B·诺布洛克 , 纳克斯·保罗·门德勒 , 普拉卡什·帕南加登 , 詹姆斯·佐佐木 , 斯科特·史密斯 :
用Nuprl证明开发系统实现数学。 普伦蒂斯·霍尔 1986 ,国际标准图书编号 978-0-13-451832-9 第I-X页,1-299页 【c2】 纳克斯·保罗·门德勒 , 普拉卡什·帕南加登 , 罗伯特·康斯特布尔 :
类型理论中的无限对象。 低收入国家 1986 : 249-255 1985 【c1】 罗伯特·康斯特布尔 , 纳克斯·保罗·门德勒 :
类型理论中的递归定义。 程序逻辑 1985 : 61-78