摘要
一、塞维萨托。 线性逻辑框架 1996年2月,都灵大学信息学院博士论文。 谷歌学者 I.Cervesato、J.S.Hodas和F.Pfenning。 线性逻辑证明搜索的高效资源管理。 编辑R.Dyckhoff、H.Herre和P.Schroeder-Heister, 第五届逻辑程序设计扩展国际研讨会论文集 ,第67-81页,德国莱比锡,1996年3月。 斯普林格·弗拉格LNAI 1050。 谷歌学者 I.塞尔维萨托和F.普芬宁。 线性逻辑框架 有限责任合伙 。可通过以下方式在全球网络上访问 网址:http://www.cs.cmu.edu/ ~iliano/LLF/。 谷歌学者 J.L.Chirimar。 规范语言的证明理论方法 宾夕法尼亚大学计算机与信息科学系博士论文,1995年。 谷歌学者 R.戴克霍夫。 直觉逻辑的无收缩序列计算。 符号逻辑杂志 ,57(3):795-8071992年9月。 谷歌学者 数字图书馆 A.毛毡。 在直觉逻辑中编码依赖类型。 在G.Huet和G.D.Plotkin的编辑中, 逻辑框架 ,第214-251页。 剑桥大学出版社,1991年。 谷歌学者 J.-Y.吉拉德。 线性逻辑。 理论计算机科学 , 50:1-102, 1987. 谷歌学者 J.-Y.吉拉德。 论逻辑的统一性。 纯粹逻辑与应用逻辑年鉴 , 59:201-217, 1993. 谷歌学者 数字图书馆 R.Harper、F.Honsell和G.Plotkin。 定义逻辑的框架。 计算机协会杂志 ,40(1):143-1841993年1月。 谷歌学者 J.S.Hodas和D.Miller。 直觉线性逻辑片段中的逻辑编程。 信息与计算 , 110(2):327-365, 1994. 1991年7月15日至18日,阿姆斯特丹,第六届计算机科学逻辑年度研讨会论文集的扩展摘要。 谷歌学者 S.Michaylov和F.Pfenning。 自然语义及其在Elf中的一些元理论。 在L.-H.埃里克森、L.Hallnäs和P.Schroeder-Heister的编辑中, 第二届逻辑程序设计扩展国际研讨会会议记录 ,第299-344页,瑞典斯德哥尔摩,1991年1月。 施普林格Verlag LNAI 596。 谷歌学者 D.米勒。 多结论meta-logic。 编辑S.Abramsky, 第九届计算机科学逻辑年会 ,第272-281页,法国巴黎,1994年7月。 IEEE计算机学会出版社。 谷歌学者 D.Miller、G.Nadathur、F.Pfenning和A.Scedrov。 统一证明是逻辑编程的基础。 纯粹逻辑与应用逻辑年鉴 , 51:125-157, 1991. 谷歌学者 数字图书馆 D.Miller、G.Plotkin和D.Pym。 自然演绎的相关分析。 1992年5月在瑞典伯斯塔德举行的逻辑框架研讨会上发表的演讲。 谷歌学者 F.芬宁。 LF逻辑框架中的逻辑编程。在G.Huet和G.Plotkin的编辑中, 逻辑框架 ,第149-181页。 剑桥大学出版社,1991年。 谷歌学者 F.普芬宁。 计算和推导。 未出版的课堂讲稿,1994年5月修订,1992年5月。 谷歌学者 F.芬宁。 精灵:演绎系统的元语言。 编辑A.Bundy, 第十二届自动扣减国际会议记录 ,第811-815页,法国南希,1994年6月。 斯普林格·弗拉格LNAI 814。 系统摘要。 谷歌学者 F.芬宁。 线性逻辑中的结构切割消除。 技术报告CMU-CS-94-222,卡内基梅隆大学计算机科学系,1994年12月。 谷歌学者 F.芬宁。 结构切割消除。 编辑D.Kozen, 第十届计算机科学逻辑年会论文集 ,第156-166页,加利福尼亚州圣地亚哥,1995年6月。 IEEE计算机学会出版社。 谷歌学者 数字图书馆 E.罗威德。 演绎系统元理论的验证 1996年,卡内基梅隆大学博士论文。 即将到来。 谷歌学者 M.托夫特。 多态引用的类型推断。 信息与计算 ,89:1-341990年11月。 谷歌学者 P.Wadler。 线性类型可以改变世界。 编辑M.Broy和C.B.Jones, IFIP TC 2编程概念和方法工作会议 第561-581页,以色列加利利海,1990年4月。 霍兰德北部。 谷歌学者 A.K.Wright和M.Felleisen。 一种类型正确性的句法方法。 信息与计算 ,115(1):38-941994年11月。 谷歌学者