60岁生日:Gordon D.Plotkin
鲁卡·凯德利 , 马塞洛·菲奥雷 , 格林·温斯克 :
计算、意义和逻辑:Gordon Plotkin专用文章。 理论计算机科学电子笔记 172, 爱思维尔 2007 鲁卡·凯德利 , 马塞洛·菲奥雷 , 格林·温斯克 :
前言。 1-4 马丁·阿巴迪 :
依赖性核心演算中的访问控制。 5-31 萨姆森·阿布拉姆斯基 :
事件域、稳定函数和证明网。 33-67 英戈·巴滕菲尔德 , 马蒂亚斯·施罗德 , 亚历克斯·辛普森 :
方便的域类别。 69-99 理查德·布鲁特 , 普拉卡什·帕南加登 , 多雷特·普龙克 :
作为核函数的共形场理论。 101-132 克里斯蒂亚诺·卡尔卡尼奥 , 菲利普·加德纳 , 乌里·扎尔法蒂 :
关于数据更新的本地推理。 133-175 鲁卡·凯德利 , 菲利普·加德纳 , 乔治·盖利 :
使用隐藏标签操作树。 177-201 吉安·卢卡·卡塔尼 , 马塞洛·菲奥雷 :
递归区域方程的双范畴理论解。 203-222 拉纳德·亚历山大·克鲁斯顿 , 安德鲁·皮特斯 :
名义等式逻辑。 223-257 卡尔·克莱里 , 罗伯·哈波 :
多态和递归类型的句法逻辑关系。 259-299 皮埃尔·路易斯·居里 :
可定义性和全面抽象。 301-310 阿努帕姆·达塔 , 安特·德里克 , 约翰·米切尔 , 阿纳布·罗伊 :
协议组合逻辑(PCL)。 311-358 邓玉欣 , 罗布·范·格拉贝克 , 马修·轩尼诗 , 卡罗尔·摩根 , 张晨毅 :
关于测试概率过程的备注。 359-397 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 路易吉·利科里 :
定义逻辑框架的框架。 399-436 马丁·海兰德 , 约翰·鲍尔 :
泛代数的范畴理论理解:劳弗尔理论和单数。 437-458 迈克尔·米斯洛夫 , 达斯科·巴甫洛维奇 , 詹姆斯·沃雷尔 :
将马尔可夫过程标记为广义随机关系。 459-478 尤金尼奥·莫吉 :
构建操作语义:简化和计算。 479-497 莫根斯·尼尔森 , 卡尔·克鲁科夫 , 弗拉迪米罗·萨松 :
基于事件的信任的贝叶斯模型。 499-521 弗莱明·尼尔森 , 汉内·里斯·尼尔森 :
安全和安保约束启发式。 523-543 大卫·J·派姆 , 克里斯·M·N·托夫茨 :
通过资源和过程进行系统建模:哲学、微积分、语义和逻辑。 545-587 科林·斯特林 :
类型lambda演算的模型检查游戏。 589-609 格林·温斯克 :
具有对称性的事件结构。 611-652