搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
1999 V.米歇尔·阿布鲁西 :
非通信逻辑中的模块。 薄层色谱法 1999 : 14-24 Jean-Marc安德烈奥利 :
协调语言工具和应用程序。 薄层色谱法 1999 : 1-5 帕特里克·贝洛特 , 马可·佩迪奇尼 :
基本复杂性和交互几何。 薄层色谱法 1999 : 25-39 努诺·巴雷罗 , 托马斯·埃尔哈德 :
重新审视定量语义学。 薄层色谱法 1999 : 40-53 斯特凡诺·贝拉迪 , 乌戈·德利古罗 :
总体功能和基础良好的战略。 薄层色谱法 1999 : 54-68 萨宾·布罗达 , 路易斯·达马斯 :
计算类型的主要居民。 薄层色谱法 1999 : 69-82 费鲁西奥·达米亚尼 :
代数数据类型PCF的无用代码检测和消除。 薄层色谱法 1999 : 83-97 雷内·戴维 :
每一个不可解决的 λ 术语有修饰语。 薄层色谱法 1999 : 98-113 彼得·戴比杰 , 安东·塞泽尔 :
归纳递归定义的有限公理化。 薄层色谱法 1999 : 129-146 彼得·哈里·艾多夫 , 弗里茨·亨利恩 , 克里斯蒂安·莫辛 , 海宁日产 , 莫滕·海因·瑟伦森 , 疯子托夫特 :
AnnoDomini实践:2000年问题的类型理论方法。 薄层色谱法 1999 : 6-13 马塞洛·菲奥雷 , 亚历克斯·K·辛普森 :
Lambda通过Grothendieck逻辑关系定义和。 薄层色谱法 1999 : 147-161 藤田贤一 :
显式键入 λµ -Call-by值多态性的微积分。 薄层色谱法 1999 : 162-176 彼得罗·迪·贾南托尼奥 , 吉安卢卡·佛朗哥 , 福里奥·霍塞尔 :
无类型的游戏语义 λ-β-eta -微积分。 薄层色谱法 1999 : 114-128 Healfdene Goguen公司 :
类型化操作语义逻辑框架的合理性。 薄层色谱法 1999 : 177-197 长谷正彦 :
直觉主义线性类型理论的逻辑谓词。 薄层色谱法 1999 : 198-212 奥利维耶·劳亨 :
极化校对网络:LC的校对网络。 薄层色谱法 1999 : 213-227 保罗·布莱恩·利维 :
Call-by-Push-Value:订阅范式。 薄层色谱法 1999 : 228-242 Seikoh Mikami公司 , 阿卡玛(Yohji Akama) :
艾布拉姆斯基线性化学萃取机的研究。 薄层色谱法 1999 : 243-257 彼得·W·奥赫恩 :
资源解释、集群含义和 α-λ -微积分。 薄层色谱法 1999 : 258-279 大森Atsushi Ohori :
编译和程序执行的Curry-Howard同构。 薄层色谱法 1999 : 280-294 杰夫·波拉科 , 弗兰克·普芬宁 :
直觉非交流线性逻辑的自然演绎。 薄层色谱法 1999 : 295-309 埃里克·波尔 , 扬·兹瓦恩堡 :
抽象数据类型作为存在类型的逻辑。 薄层色谱法 1999 : 310-324 艾克·里特 :
明确表示保留终止的替代的特征。 薄层色谱法 1999 : 325-339 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) , 罗德·布尔斯托尔 :
显式环境。 薄层色谱法 1999 : 340-354 理查德·斯塔特曼 :
Jacopini定理的结果:一致的等式和方程。 薄层色谱法 1999 : 355-364 克里斯蒂安·厄本 , 加文·M·比尔曼 :
经典逻辑中截除的强正规化。 薄层色谱法 1999 : 365-380 扬·兹瓦恩堡 :
带子类型的纯类型系统。 薄层色谱法 1999 : 381-396 吉恩·伊夫·吉拉德 :
《打字Lambda演算与应用》,第四届国际会议,TLCA’99,意大利拉奎拉,1999年4月7日至9日,会议记录。 计算机科学讲义 1581, 施普林格 1999 ,国际标准图书编号 3-540-65763-0 [目录]