安妮·斯杰普·特罗尔斯特拉
人员信息
附属: 荷兰阿姆斯特丹阿姆斯特丹大学
优化列表
2000 – 2009
2000 【b2】 安妮·斯杰普·特罗尔斯特拉 , 赫尔穆特·施维赫滕贝格 :
基本证明理论,第二版。 剑桥理论计算机科学丛书 43, 剑桥大学出版社 2000 ,国际标准图书编号 978-0-521-77911-1 ,第I-XII页,第1-417页
1990 – 1999
1999 [j8] A.S.特洛伊斯特拉 :
后继结石边缘。 Stud Logica公司 62 ( 2 ) : 291-303 ( 1999 ) [j7] A.S.特洛伊斯特拉 :
从建构主义到计算机科学。 西奥。 计算。 科学。 211 ( 1-2 ) : 233-252 ( 1999 ) 1996 【b1】 安妮·斯杰普·特罗尔斯特拉 , 赫尔穆特·施维赫滕贝格 :
基本证明理论。 剑桥理论计算机科学丛书 43, 剑桥大学出版社 1996 ,国际标准图书编号 978-0-521-57223-1 第I-XI页,1-343页 1995 [j6] A.S.特洛伊斯特拉 :
直觉线性逻辑的自然演绎。 Ann.纯粹应用。 日志。 73 ( 1 ) : 79-108 ( 1995 ) 1992 【c2】 A.S.特洛伊斯特拉 :
线性逻辑教程。 JICSLP公司 1992 : 30-31 1991 【c1】 A.S.特洛伊斯特拉 :
比较表征理论和建构数学。 CSL公司 1991 : 383-395
1980 – 1989
1987 [j5] A.S.特洛伊斯特拉 :
论马丁·洛夫类型理论的句法。 西奥。 计算。 科学。 51 : 1-26 ( 1987 ) 1986 【j4】 A.S.特洛伊斯特拉 :
带surpjective配对的类型化术语的强规范化。 圣母院J.正式日志。 27 ( 4 ) : 547-550 ( 1986 ) 1983 [j3] A.S.特洛伊斯特拉 :
分析选择序列。 J.菲洛斯。 日志。 12 ( 2 ) : 197-260 ( 1983 )
1970 – 1979
1977 [注2] A.S.特洛伊斯特拉 :
带扇泛函的直觉有限型算法的一些模型。 J.塞姆。 日志。 42 ( 2 ) : 194-202 ( 1977 ) 1974 [j1] A.S.特洛伊斯特拉 :
关于Fan定理的注记。 J.塞姆。 日志。 39 ( 三 ) : 584-596 ( 1974 )