安德烈·鲍尔（编辑）;Mislove，迈克尔（编辑） 2008年5月22日至25日在美国宾夕法尼亚州费城举行的第24届编程语义数学基础会议记录（MFPS XXIV）。 （英语） Zbl 1280.68015号 理论计算机科学电子笔记218.阿姆斯特丹：爱思唯尔。第389页。，仅电子版（2008年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1273.68031号].索引文章：Robert Dockins；Andrew W.Appel。；阿奎那·霍伯，用于操作语义推理的多模态分离逻辑，5-20[Zbl 1286.68395号]亚历山大·布伊斯；彼得·戴比杰，局部笛卡尔闭范畴中直觉主义类型理论的解释——直觉主义视角，21-32[Zbl 1286.03029号]瓦实提·加尔平（Vashti Galpin）；简·希尔斯顿；Bortolussi，卢卡，HYPE应用于混合生物系统建模，33-51[Zbl 1286.92027号]埃斯凡迪亚·哈格沃尔迪；菲利普·斯科特。，多项式证明，53-72[Zbl 1286.03161号]Jean Krivine；罗宾·米尔纳（Robin Milner）；安吉洛·特洛伊娜，随机双图，73-96[Zbl 1286.68354号]科西莫·拉内夫；安东尼奥·维塔莱，（kappa）家族中的表达能力，97-109[Zbl 1286.92024号]Chatzikokolakis，Konstantinos；马丁，凯，信息论的单调性原理，111-129[Zbl 1286.94040号]鲍勃·科克（Bob Coecke）；西蒙·佩德里克斯（Simon Perdrix）；埃里克·奥利弗·帕奎特，量子协议图解基础，131-152[Zbl 1286.81030号]扬尼克·德尔贝克；帕纳加登，普拉卡什，量子商店的游戏语义，153-170[兹比尔1286.81044]马塞洛·菲奥雷；Chung Kil呼，术语方程系统和逻辑（扩展摘要），171-192[Zbl 1286.03120号]克里斯·希恩，半模块浓缩，193-208[Zbl 1286.18003号]阿希姆·荣格（Achim Jung）；M.Andrew Moshier；史蒂夫·维克斯，提出dcpos和dcpo代数，209-229[Zbl 1286.68300号]丹尼尔·利万特，带有程序量词的命题动态逻辑，231-240[Zbl 1286.03119号]保罗·布莱恩·利维，认为全球状态有帮助，241-259[Zbl 1286.68301号]凯伊·马丁；帕南加登，普拉卡什，测量验证技术，261-273[Zbl 1286.06011号]马里诺·米库兰，融合演算的分类模型，275-293[Zbl 1286.68355号]普罗特金，戈登；权力，约翰，操作语义的共模型和模型张量，295-311[Zbl 1286.68303号]安德烈亚斯·罗斯伯格，具有抽象类型和高阶胁迫的动态半透明，313-336[Zbl 1286.68091号]亚当·斯克里文，具有不变测度的精确实积分的函数算法，337-353[Zbl 1286.68061号]艾伦·塞克斯顿；Hayo Thielecke，用操作语义和分离逻辑推理B+树，355-369[Zbl 1286.68106号]Varming，Carsten；拉尔斯·比克达尔，Isabelle/HOLCF中的高阶分离逻辑，371-389[兹比尔1286.68404] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68问题55 计算理论中的语义学 00B25型 杂项特定利益的会议记录 引文：Zbl 1273.68031号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}（ed.）和textit{M.Mislove}（edi.），第24届编程语义数学基础会议论文集（MFPS XXIV），美国宾夕法尼亚州费城，2008年5月22日至25日。阿姆斯特丹：爱思唯尔（2008；Zbl 1280.68015） 全文： 链接