2012年第28届MFPS:英国巴斯
乌尔里希·伯杰 , 迈克尔·米斯洛夫 :
第28届编程语义数学基础会议论文集,2012年MFPS,英国巴斯,2012年6月6-9日。 理论计算机科学电子笔记 286, 爱思维尔 2012 乌尔里希·伯杰 , 迈克尔·米斯洛夫 :
前言。 1-2 斯蒂芬·布鲁克斯 , 阿奇姆·荣格 , 凯瑟琳·梅多斯 , 迈克尔·米斯洛夫 , 普拉卡什·帕南加登 :
奉献。 三 迈克·贝里希 , 塞巴斯蒂安·克霍夫 , 约翰·鲍尔 :
对泛代数及其对偶的范畴理论理解:单子理论和Lawvere理论,Comonad和What? 5-16 德克斯特·科赞 :
新增。 17-42 英戈·巴滕菲尔德 :
笛卡尔闭范畴中的观测诱导效应。 43-56 乌尔里希·伯杰 , 铁厚 :
类型化与非类型化可实现性。 57-71 菲利波·邦奇 , 马塞洛·M·邦桑格 , 乔治安娜·卡尔泰斯 , Jan J.M.M.鲁滕 , 亚历山德拉·席尔瓦 :
装饰痕迹的最终语义。 73-86 斯蒂芬·布鲁克斯 :
干扰和并发分离逻辑的句法控制。 87-102 马泰奥·西米尼 , 穆罕默德·雷扎·穆萨维 , 米歇尔·雷尼尔斯 , 默多克·詹姆斯·加巴伊 :
标称SOS。 103-116 J.罗宾B.科克特 , 约阿金·迪亚斯·博伊尔 , 乔纳森·加拉赫 , 帕维尔·赫鲁比斯 :
时间集、功能复杂性和可计算性。 117-137 罗伯特·多金斯 , 阿奎那·霍伯 :
通用函数指针的时间界限。 139-155 罗伊·戴克霍夫 , 梅赫努什·萨达德 , 朱利安·特鲁弗 :
命题、作用和伴随模态算子逻辑的代数、证明理论和应用。 157-172 默多克-加贝 , 丹·吉卡(Dan R.Ghica) :
名义模型中的游戏语义。 173-189 丹·吉卡(Dan R.Ghica) , 尼科斯·齐夫列科斯 :
系统级游戏语义。 191-211 细野直彦 :
唯一分解范畴的一个表示定理。 213-227 沃尔夫冈·杰利奇 :
线性时序逻辑和函数反应式编程的通用范畴语义。 229-242 安德鲁·劳伦斯 , 乌尔里希·伯杰 , 莫妮卡·塞森伯格 :
提取DPLL算法。 243-256 奥列克桑德·曼祖克 :
一种简单类型的前向自动微分的λ-微积分。 257-272 盖伊·麦库斯克 , 约翰·鲍尔 , 蔡文菲尔德 :
明细表的图形基础。 273-289 乌戈·蒙塔纳里 , 马泰奥·桑马蒂诺 :
网络意识π演算:并发语义学。 291-306 丹·特多休(Dan Teodosiu) :
多组可消耗资源上的真正并发过程语义。 307-321 杜比·威尔金森 :
同胚相互模拟和模拟的表达特性。 323-336