LFM 2002:丹麦哥本哈根
弗兰克·普芬宁 :
逻辑框架和元语言国际研讨会,LFM 2002,FLoC卫星活动,丹麦哥本哈根,2002年7月26日。 理论计算机科学电子笔记 70(2), 爱思维尔 2002 巴勃罗·洛佩斯 , 埃内斯托·皮门特尔 , 约书亚·S·霍达斯 , 杰弗里·波拉科 , 卢博米拉·斯托伊洛娃 :
线性逻辑证明搜索中的资源消耗隔离。 1-10 约瑟夫·范德瓦特 , 卡尔·克莱里 :
线性LF元理论的简化说明。 11-28 亚伦·斯塔姆 , 克拉克·W·巴雷特 , 大卫·L·迪尔 :
从椭圆LF中的算术决策过程中生成证据。 29-41 费尔克·范·拉姆斯登克 , 保拉·塞弗里 :
消除程序中的证据。 42-59 阿尔贝托·莫米利亚诺 , 西蒙·安布勒 , 罗伊·克罗尔 :
建立双相似同余的Howe方法的混合编码。 60-75 伊凡·斯卡格内托 , 马里诺·米库兰 :
归纳结构微积分中的环境微积分及其逻辑。 76-95 大卫·德拉哈耶 :
证明专用元语言。 96-109 布里吉特·皮恩特卡 :
LF中基于记忆的证明搜索——原型的实验评估。 110-123 卡斯滕·舒尔曼 , 谢尔盖·奥特谢尔 :
关于Mω的证明规划 + . 124-145 弗兰克·普芬宁 :
前言。 146