几何学 搜索术语几何学在里面任何字段.查询是与案件无关.
 搜索澳大利亚雷神和ti公司tle公司. Theand运算符&默认可以省略.
切比雪夫 这个or运算符|允许搜索切比雪夫或切比雪夫.
"准地图", 结果文件有p出版是的耳朵 1989.
so:欧元*J*材料*Soc*cc:14 搜索特定出版物所以乌尔奇用一个数学学科C分类c颂歌(复写的副本)在里面14.
 这个d文件t类型设置为书本;或者:j对于期刊文章一对于书籍文章.
洛杉矶:中国人 在给定的洛杉矶语言.ISO 639-1标准也可以使用语言代码.
摘要:我们提出线性类型理论(\lambda^{\Pi-\circ\&\top})作为逻辑框架LF的保守扩展LLF的形式基础.LLF将依赖类型的表达能力与线性逻辑相结合,允许自然简洁地表示一类全新的演绎系统,即那些处理状态的系统.作为一个例子,我们编写了一个包含可变引用的Mini-ML版本,包括它的类型系统和操作语义,并描述了如何实际利用它的计算表示.
68N30型 软件工程的数学方面(规范,验证,度量,需求等)
[7] 一, "逻辑程序设计语言编译的证明理论基础",在里面1998年6月19日英国国际逻辑联合会议记录.Jaffar,Ed.,第115-129页,麻省理工学院出版社,剑桥,马萨诸塞州·Zbl 0949.68021
[25] J, 汉南和D.米勒,"从操作语义学到抽象机器:初步结果",在里面1990年ACM关于Lisp和函数式编程的会议记录,法国尼斯,1990M.旺德主编,第323-332页.
[31] 十, Leroy和P.Weis,多态类型推断和分配,在里面第十八届ACM编程语言原理研讨会会议记录,佛罗里达州奥兰多,1991年1月21日至23日,第291-302页,计算机协会.机器.纽约.
[32] P, Lincoln和J.Mitchell,"线性lambda演算的运算方面",在里面第七届计算机科学逻辑年会,加州圣克鲁兹,1992年6月,第235-246页,IEEE计算机.Soc.加利福尼亚州洛斯阿拉米斯出版社.
[33] S, 它的自然语义学和自然语义学,在里面第二届逻辑程序设计扩展国际研讨会论文集,瑞典斯德哥尔摩,1991年1月-H, Eriksson,L.Hallnäs和P.Schroeder Heister,Eds.,"人工智能课堂讲稿",第596卷,第299-344页,柏林/纽约斯普林格.
[34] D, 米勒,一个多结论元逻辑,在里面1994年7月,法国巴黎,第九届IEEE计算机科学逻辑研讨会.艾布拉姆斯基主编,第272-281页.
[35] D, 米勒,G.普洛金,和D.Pym,自然演绎的相关分析,逻辑框架研讨会上的演讲,瑞典Båstad,1992年5月.
[39] F, 范宁,计算与演绎,未出版的课堂讲稿,修订版,1994年5月,1996年4月,1992年5月.
[41] F, Pfenning,Elf:演绎系统的元语言,在里面第12届自动扣减国际会议论文集,法国南希,1994年6月.邦迪,编辑,系统摘要."人工智能课堂讲稿",第814卷,第811-815页,斯普林格-维拉格,柏林/纽约.
[42] F, 潘宁,线性逻辑中的结构割消除,技术报告CMU-CS-94-222,卡内基梅隆大学计算机科学系,1994年12月.
[44] F, Pfenning,逻辑框架的实践,在里面代数和程序设计中的树学术讨论会论文集,林克平,瑞典,1996年4月.基什纳,编辑,受邀演讲."计算机科学课堂讲义",第1059卷,第119-134页,斯普林格·韦拉格,柏林/纽约.
[47] F, Pfenning和C.Schürmann,LF的简单元逻辑中的自动定理证明,在里面第15届自动扣除会议记录-CADE-15,德国林道,1998年7月.Kirchner和H.Kirchner编辑,"人工智能课堂讲稿",第1421卷,第286-300页,柏林/纽约斯普林格出版社.
[49] A, 在第一次讨论Salvesen定理时,Salvesen在法国的第一次讨论会上发表的.
[53] P, 韦德勒,线性类型可以改变世界,在里面IFIP TC 2编程概念和方法工作会议,以色列加利利海,1999年4月.布罗伊和C.B.琼斯编辑,第561-581页,北荷兰,阿姆斯特丹.
此参考列表基于出版商或数字数学图书馆提供的信息.它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误.它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性.