马丁·霍夫曼(编辑);朱塞佩·罗索里尼(编辑);达斯科·巴甫洛维奇(编辑) CTCS’99。类别理论与计算机科学会议,英国爱丁堡,1999年9月10日至12日。 (英语) 兹比尔0942.00057 理论计算机科学电子笔记. 29. 阿姆斯特丹:爱思唯尔,22篇论文(电子版)(1999年)。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章:托马斯·斯特里彻,重新审视名称完整性,第13页,仅电子版[Zbl 0959.03508号]道格拉斯·史密斯。,Designware:软件开发细化,13页,仅电子版[Zbl 0966.68024号]权力,约翰;丹尼尔·图里,线性时间语义的联合基础,16页,仅电子版[Zbl 0967.68102号]罗朝晖;谢尔盖·索洛维耶夫,从属胁迫,17 p.,仅电子[Zbl 0967.68047号]保罗·马特乌斯;阿米尔卡塞尔纳达斯;克里斯蒂娜·瑟纳达斯,组合概率自动机的预分类,18 p.,仅电子版[Zbl 0966.68096号]布鲁尼,R。;梅塞盖尔,J。;Montanari,美国。;萨索内,V。,《个体标记哲学下Petri网的函数语义》,18页,仅电子版[Zbl 0966.68108号]J·帕塞卡。对偶半格范畴中的Hilbert模和核理想,19 p.,仅电子[Zbl 0961.18004号]弗朗西斯科·杜兰;何塞·梅塞盖尔,结构化理论和制度,19页,仅电子版[Zbl 0966.68130号]Bednarczyk,Marek A。;Andrzej M.Borzyszkowski。,反应系统的并行实现,19页,仅电子版[Zbl 0966.68146号]法比奥·加杜奇(Fabio Gadducci);Reiko Heckel;拉贝尔,梅塞,并发图重写的双范畴公理化,21页,仅电子版[Zbl 0967.68089号]莫吉,E。;Bellè,G。;杰伊,C.B。,单子,形状函子和遍历,22页,仅电子版[Zbl 0967.68038号]Hideki Tsuiki,Lax泛型函数的域理论语义,24 p.,仅电子版[Zbl 0967.68103号]马丁·海兰德(Martin Hyland);安德烈亚·沙尔克,线性逻辑的抽象游戏。(扩展摘要),24页,仅电子版[兹比尔0959.03507]托马斯·希尔德布兰特。,有限延迟SCCS的完全抽象预处理语义,25页,仅电子版[Zbl 0967.68104号]林赛·埃尔林顿,关于消息传递过程的语义,28页,仅电子版[Zbl 0967.68105号]马丁·韦尔,高维语法,29p。,仅电子版[Zbl 0967.68093号]Koh,T.W。;Ong,C.-H.L.公司。,自主和*自主类别的显式替换内部语言,30页,仅电子版[Zbl 0967.03025号]Murawski,A.S。;Ong,C.-H.L.公司。《精疲力竭的策略》、《小丑游戏》和《IMLL完整性》,单元31页,仅电子版[Zbl 0959.03505号]安娜·布卡洛;费尔曼,卡斯滕;亚历克斯·辛普森,等式提升单子,32 p.,仅电子版[Zbl 0966.68107号]A.Eppendahl。,余代数到代数态射,8 p.,仅电子版[Zbl 0961.18005号]彼得·弗雷德路径积分,贝叶斯视觉,高斯求积真的好吗?,无页码。,仅电子版[Zbl 0967.68163号]琉长谷川,解析函子在理论计算机科学中的若干应用,第页。,仅电子版[Zbl 0966.68046号] 引用于1审查 MSC公司: 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 18-06 与范畴理论有关的会议记录、会议、收藏等 关键词:爱丁堡(英国);诉讼;会议;99年CTCS;范畴理论;计算机科学 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}(编辑)等人,CTCS'99。类别理论和计算机科学会议,英国爱丁堡,1999年9月10日至12日。阿姆斯特丹:Elsevier(1999;Zbl 0942.00057)