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