马里奥·罗曼 有效类别的Promonad和字符串图。 (英语) Zbl 07813638号 杰德(Jade)等硕士,第五届应用范畴理论国际会议论文集,ACT 2022,英国格拉斯哥,2022年7月18日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)380344-361(2023年)。MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Román},电子。程序。西奥。计算。科学。(EPTCS)380344--361(2023;Zbl 07813638) 全文: 内政部 arXiv公司
罗伯特·艾奇;布鲁诺加夫拉诺维奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格 成分博弈论,成分。 (英语) Zbl 1480.91052号 Spivak,David I.(编辑)等人,《2020年第三届国际应用范畴理论年会论文集》,ACT 2020,美国剑桥,2020年7月6日至10日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)333198-214(2021)。MSC公司:91A40型 2005年5月18日 18D60毫米 PDF格式BibTeX公司 XML格式引用 \textit{R.Atkey}等人,《电子》。程序。西奥。计算。科学。(EPTCS)333198-214(2021年;兹bl 1480.91052) 全文: arXiv公司 链接
阿米罗申·阿克巴尔·塔巴塔拜 时空蕴涵。 (英语) Zbl 1498.03023号 Mojtahedi、Mojtaba(编辑)等人,《数学、逻辑及其哲学》。纪念穆罕默德·阿尔德斯希尔的文章。查姆:斯普林格。日志。认识论。统一科学。49, 161-216 (2021).MSC公司:03B20型 03B44号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{A.Akbar Tabatabai},日志。认识论。统一科学。49161-216(2021;Zbl 1498.03023) 全文: 内政部 arXiv公司
康斯坦蒂诺斯·马穆拉斯 确定性数据流和流处理的语义基础。 (英语) Zbl 1508.68069号 Müller,Peter(编辑),《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会(ESOP 2020),是欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12075, 394-427 (2020).MSC公司:68号30 2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Mamouras},莱克特。注释计算。科学。12075、394--427(2020年;Zbl 1508.68069) 全文: 内政部
伊万·佩雷斯;Alwyn E.古德洛。 容错功能反应式编程(扩展版)。 (英语) Zbl 1482.68083号 J.功能。程序。 30,论文编号e12,41 p.(2020).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{I.Perez}和\textit{A.E.Goodloe},J.Funct。程序。30,论文编号e12,第41页(2020;兹bl 1482.68083) 全文: 内政部
安德烈·莫霍夫;米切尔,尼尔;西蒙·佩顿·琼斯 按单构建系统:理论与实践。 (英语) Zbl 1442.68029号 J.功能。程序。 30,论文编号e11,55 p.(2020).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Mokhov}等人,J.Funct。程序。30,论文编号e11,55 p.(2020;Zbl 1442.68029) 全文: 内政部
查普曼,詹姆斯;塔尔莫乌斯塔卢;尼科洛·维尔特里 用弱双相似性对时滞单子进行商。 (英语) Zbl 1407.68306号 数学。结构。计算。科学。 29,第1号,67-92(2019).MSC公司:68问题65 03B15号机组 68甲18 第68季度55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Chapman}等人,《数学》。结构。计算。科学。29,第1号,67-92(2019;Zbl 1407.68306) 全文: 内政部
克里斯·希恩;罗宾·卡斯加德;马尔蒂·卡沃宁 反向箭头的可逆效果。 (英语) Zbl 1527.68070号 Staton,Sam(编辑),第34届编程语义数学基础会议论文集(MFPS XXXIV),加拿大哈利法克斯达尔豪西大学,2018年6月6日至9日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。341, 179-199 (2018).MSC公司:2009年第68季度 18立方厘米50 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.Heunen}等人,《电子》。注释Theor。计算。科学。341179--199(2018年;Zbl 1527.68070) 全文: 内政部 arXiv公司
埃克塞奎尔·里瓦斯 从单体附加词中关联成语、箭头和单数。 (英语) Zbl 1525.68044号 Atkey,Robert(ed.)等人,《第七届数学结构化函数编程研讨会论文集》,MSFP 2018,英国牛津,2018年7月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27518-33(2018)。MSC公司:04年第68季度 18A40型 18立方厘米 2005年5月18日 68甲18 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.Rivas},电子。程序。西奥。计算。科学。(EPTCS)275,18-33(2018;Zbl 1525.68044) 全文: arXiv公司 链接
塔德乌兹·利塔克;阿尔伯特·维瑟 刘易斯会见布劳沃:建设性严格暗示。 (英语) Zbl 1436.03137号 印度。数学。,新序列号。 29,第1号,36-90(2018).MSC公司:03B45号 03B20型 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{T.Litak}和\textit{A.Visser},印度。数学。,新序列号。29,第1号,36--90(2018;Zbl 1436.03137) 全文: 内政部 arXiv公司
埃克塞奎尔·里瓦斯;毛罗·贾斯克利奥夫 计算作为幺半群的概念。 (英语) Zbl 1476.68098号 J.功能。程序。 27,论文编号e21,42 p.(2017).MSC公司:2009年第68季度 18安培99 18立方厘米 2005年5月18日 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{E.Rivas}和\textit{M.Jaskelioff},J.Funct。程序。27,论文编号e21,42 p.(2017;Zbl 1476.68098) 全文: 内政部 arXiv公司
德伊安·斯特凡;大卫·马齐埃尔;约翰·米切尔(John C.Mitchell)。;亚历杭德罗·拉索 存在异常时的灵活动态信息流控制。 (英语) Zbl 1418.68043号 J.功能。程序。 27,论文编号e5,56 p.(2017).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{D.Stefan}等人,J.Funct。程序。27,论文编号e5,56 p.(2017;Zbl 1418.68043) 全文: 内政部 arXiv公司
山姆·斯塔顿 概率规划的交换语义。 (英语) 兹比尔1485.68033 Yang,Hongseok(编辑),《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会(ESOP 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10201, 855-879 (2017).MSC公司:68甲15 68甲19 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.Staton},莱克特。注释计算。科学。10201、855--879(2017;Zbl 1485.68033) 全文: 内政部 链接
理查德·加纳;伊格纳西奥·洛佩斯·弗兰科 交换性。 (英语) Zbl 1375.18049号 J.纯应用。代数 220,第5期,1707-1751(2016).MSC公司:18D20天 18甲15 18立方厘米50 18D05日 18二氧化碳 18D50型 PDF格式BibTeX公司 XML格式引用 \textit{R.Garner}和\textit{I.López Franco},J.Pure Appl。代数220,No.5,1707--1751(2016;Zbl 1375.18049) 全文: 内政部 arXiv公司
Hayo Thielecke 解析操作的语义。 (英语) Zbl 1283.68202号 科学。计算。程序。 84, 52-76 (2014).MSC公司:第68季度55 2012年第68季度 68甲15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.Thielecke},科学。计算。程序。84、52——76(2014;Zbl 1283.68202) 全文: 内政部
彼得·阿奇顿;马克·范·埃克伦;马尔滕·德·莫尔;莱纳斯·普拉斯梅耶 EditorArrow:基于箭头的模型,用于基于编辑器的编程。 (英语) Zbl 1266.68079号 J.功能。程序。 23,第2期,185-224(2013).MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Achten}等人,J.Funct。程序。23,第2号,185--224(2013;Zbl 1266.68079) 全文: 内政部
多米尼克·德夫里塞;弗兰克·皮森斯 最后,抽象语法模型的无标记可观察递归。 (英语) Zbl 1273.68074号 J.功能。程序。 22,第6期,757-796(2012).MSC公司:68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Devriese}和\textit{F.Piessens},J.Funct。程序。22,编号6677-796(2012年;兹bl 1273.68074) 全文: 内政部
拉里斯·沃夫 量子电路:从网络到单向模型。 (英语) Zbl 1347.68149号 Coecke,Bob(编辑)等人,第五届量子物理和逻辑国际研讨会和第四届计算模型发展研讨会论文集(QPL/DCM 2008),冰岛雷克雅未克,2008年7月12-13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记270,第1期,191-210(2011)。MSC公司:2005年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{L.Voufo},电子。注释Theor。计算。科学。270,第1号,191--210(2011;Zbl 1347.68149) 全文: 内政部
朱利安娜·凯泽·维佐托;安德烈·劳贝尔·杜博伊斯 使用事务内存建模并行量子计算。 (英语) Zbl 1347.68147号 Coecke,Bob(编辑)等人,第五届量子物理和逻辑国际研讨会和第四届计算模型发展研讨会论文集(QPL/DCM 2008),冰岛雷克雅未克,2008年7月12-13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记270,第1期,183-190(2011)。MSC公司:2005年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Vizzotto}和\textit{A.R.Du Bois},电子。注释Theor。计算。科学。270,编号1,183-190(2011年;兹bl 1347.68147) 全文: 内政部
萨姆·林德利;菲利普·沃德勒;杰里米·亚洛普 成语是不经意的,箭头是一丝不苟的,单子是乱七八糟的。 (英语) Zbl 1291.68168号 Capretta,Venanzio(编辑)等人,《数学结构函数编程第二次研讨会论文集》(MSFP 2008),冰岛雷克雅未克,2008年7月6日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》229,第5期,97-117(2011)。MSC公司:2005年第68季度 18立方厘米 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Lindley}等人,《电子》。注释Theor。计算。科学。229,第5号,97-117(2011;Zbl 1291.68168) 全文: 内政部
罗伯特·艾奇 什么是箭头的分类模型? (英语) Zbl 1291.68107号 Capretta,Venanzio(编辑)等人,《数学结构函数编程第二次研讨会论文集》(MSFP 2008),冰岛雷克雅未克,2008年7月6日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》229,第5期,19-37(2011)。MSC公司:68甲18 18日第15天 18D20天 PDF格式BibTeX公司 XML格式引用 \textit{R.Atkey},电子。注释Theor。计算。科学。229,第5、19-37号(2011;Zbl 1291.68107) 全文: 内政部
刘海;程,埃里克;保罗·哈达克 因果交换箭头。 (英语) Zbl 1263.68032号 J.功能。程序。 21,No.4-5,467-496(2011).MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.Liu}等人,J.Funct。程序。21,编号4--5,467--496(2011;Zbl 1263.68032) 全文: 内政部
一郎·哈索;巴特·雅各布斯 煤系组分的痕迹。 (英语) 兹比尔1230.18004 数学。结构。计算。科学。 21,第2期,267-320(2011). 审核人:基·罗西克(布尔诺) MSC公司:18B20型 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Hasuo}和\textit{B.Jacobs},数学。结构。计算。科学。21,第2号,267--320(2011;Zbl 1230.18004) 全文: 内政部
Jean-Guillaume杜马;多米尼克·杜瓦尔;珍妮·克劳德·雷纳德 笛卡尔效应类别是Freyd-categories。 (英语) 邮编:1229.18005 J.塞姆。计算。 46,第3期,272-293(2011).MSC公司:18立方厘米50 第68季度55 18日99 PDF格式BibTeX公司 XML格式引用 \textit{J.-G.Dumas}等人,J.Symb。计算。46,第3号,272--293(2011;Zbl 1229.18005) 全文: 内政部
川崎朝田;一郎·哈索 通过箭头作为profunctor将计算分类为组件。 (英语) Zbl 1247.68084号 Jacobs,B.(ed.)等人,第十届计算机科学联合算法研讨会论文集(CMCS 2010)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》264,第2期,25-45(2010)。MSC公司:2005年第68季度 18B20型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Asada}和\textit{I.Hasuo},电子。注释Theor。计算。科学。264,第2号,25-45(2010;Zbl 1247.68084) 全文: 内政部
毛罗·贾斯克利奥夫;尤金尼奥·莫吉 作为单线变压器的单线变压器。 (英语) Zbl 1209.68107号 西奥。计算。科学。 411,编号51-52,4441-4466(2010).MSC公司:68甲18 68甲15 18B99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Jaskelioff}和\textit{E.Moggi},Theor。计算。科学。411、编号51-52、4441-4466(2010;Zbl 1209.68107) 全文: 内政部
李鹏;史蒂夫·兹丹切维奇 安全信息流的箭头。 (英语) Zbl 1200.68063号 西奥。计算。科学。 41119974-1994(2010).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Li}和\textit{S.Zdancewic},Theor。计算。科学。41119974-1994(2010;Zbl 1200.68063) 全文: 内政部
萨姆·林德利;菲利普·沃德勒;杰里米·亚洛普 箭头演算。 (英语) Zbl 1185.68199号 J.功能。程序。 20,编号1,51-69(2010).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Lindley}等人,J.Funct。程序。20,第1号,51--69(2010;Zbl 1185.68199) 全文: 内政部
一郎·哈索;克里斯·希恩;巴特·雅各布斯;安娜·索科洛娃 多种微观结构中的煤系成分。 (英语) Zbl 1239.68044号 亚历山大·库兹(编辑)等人,《计算机科学中的代数和余代数》。第三届国际会议,2009年CALCO,意大利乌迪内,2009年9月7日至10日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03740-5/pbk)。计算机科学课堂讲稿572864-80(2009)。MSC公司:68问题65 18立方厘米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Hasuo}等人,Lect。注释计算。科学。5728,64-80(2009年;Zbl 1239.68044) 全文: 内政部 链接
巴特·雅各布斯;克里斯·希恩;一郎·哈索 箭头的分类语义。 (英语) Zbl 1191.68406号 J.功能。程序。 19,编号3-4,403-438(2009).MSC公司:第68季度55 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}等人,J.Funct。程序。19、编号3--4、403--438(2009;Zbl 1191.68406) 全文: 内政部
斯威斯特拉,S.多伊茨 组合器解析:一个简短的教程。 (英语) Zbl 1250.68083号 Bove,Ana(编辑)等人,《语言工程和严格的软件开发》。2008年2月24日至3月1日,乌拉圭皮里亚波利斯,2008年国际LerNet ALFA暑期学校。修订的教程讲座。柏林:施普林格出版社(ISBN 978-3-642-03152-6/pbk)。计算机科学讲座笔记5520,252-300(2009)。MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Swierstra},莱克特。注释计算。科学。5520、252--300(2009年;Zbl 1250.68083) 全文: 内政部
保罗·塔劳 同构数据转换的广群。 (英语) Zbl 1247.68048号 Carette,Jacques(编辑)等人,《智能计算机数学》。2009年7月6日至12日,在加拿大大本德举行了2009年第16届Calculemus研讨会,2009年第8届MKM国际会议,作为2009年CICM的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02613-3/pbk)。计算机科学课程讲稿5625。人工智能课堂讲稿,170-185(2009)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Tarau},莱克特。注释计算。科学。5625170-185(2009年;Zbl 1247.68048) 全文: 内政部
朱利安娜·凯泽·维佐托;安德烈·劳贝尔·杜博伊斯;阿穆尔·萨布里 箭头演算作为量子编程语言。 (英语) Zbl 1246.68101号 Ono,Hirakira(编辑)等人,《逻辑、语言、信息和计算》。2009年6月21日至24日,第16届国际研讨会,WoLLIC 2009,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02260-9/pbk)。计算机科学课堂讲稿5514。人工智能课堂讲稿,379-393(2009)。MSC公司:68号30 03B40型 03B70号 68甲15 81页68 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Vizzotto}等人,Lect。注释计算。科学。5514、379--393(2009年;Zbl 1246.68101) 全文: 内政部 arXiv公司
塔尔莫乌斯塔卢;瓦尔莫·维尼 计算的共鸣概念。 (英语) Zbl 1279.68088号 Adámek,J.(ed.)等人,第九届计算机科学联合方法研讨会论文集(CMCS 2008),匈牙利布达佩斯,2008年4月4日至6日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》203,第5期,263-284(2008)。MSC公司:2005年第68季度 03B40型 18立方厘米20 PDF格式BibTeX公司 XML格式引用 \textit{T.Uustalu}和\textit{V.Vene},电子。注释Theor。计算。科学。203,编号5,263-284(2008年;兹bl 1279.68088) 全文: 内政部
朱利安娜·凯泽·维佐托;达罗查·科斯塔(da Rocha Costa)、安东尼奥·卡洛斯(António Carlos);阿穆尔·萨布里 Haskell中的量子箭头。 (英语) Zbl 1279.68047号 Peter Selinger(编辑),《第四届量子编程语言国际研讨会论文集》(QPL 2006),英国牛津,2006年7月17日至19日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记210,139-152(2008)。MSC公司:68甲18 68甲15 81页68 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Vizzotto}等人,《电子》。注释Theor。计算。科学。210、139--152(2008年;Zbl 1279.68047) 全文: 内政部
莱纳斯·普拉斯梅耶;彼得·阿奇顿;彼得·科普曼 iTasks简介:定义web的交互式工作流。 (英语) Zbl 1170.68417号 Horváth,Zoltán(编辑)等人,中欧函数编程学校。2007年6月23日至30日,罗马尼亚Cluj-Napoca,2007年CEFP第二所暑期学校。修订了选定的讲座。柏林:施普林格出版社(ISBN 978-3-540-88058-5/pbk)。计算机科学讲义5161,1-40(2008)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Plasmeijer}等人,Lect。注释计算。科学。5161,1-40(2008年;兹bl 1170.68417) 全文: 内政部 链接
康纳·麦克布莱德;罗斯·帕特森 具有效果的应用程序。 (英语) Zbl 1128.68020号 J.功能。程序。 18,第1期,第1-13页(2008年).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.McBride}和\textit{R.Paterson},J.Funct。程序。18,编号1,1-13(2008;Zbl 1128.68020) 全文: 内政部
克里希纳穆提,施莱姆;霍普金斯,彼得·沃尔顿;杰·麦卡锡;Paul T.Graunke。;格雷格·佩蒂约翰;费莱森,马蒂亚斯 PLT方案web服务器的实现和使用。 (英语) Zbl 1129.68330号 高-订购符号。计算。 20,第4期,431-460(2007).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{S.Krishnamurthi}等人,高-订购符号。计算。20,第4号,431--460(2007;Zbl 1129.68330) 全文: 内政部
尤金尼奥·莫吉;阿穆尔·萨布里 值递归的抽象一元语义。 (英语) 兹比尔1089.68029 西奥。通知。申请。 38,第4期,375-400(2004).MSC公司:68甲18 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.Moggi}和\textit{A.Sabry},Theor。通知。申请。38,第4号,375--400(2004;Zbl 1089.68029) 全文: 内政部 Numdam编号 欧洲DML 链接
尼克·本顿;马丁·海兰德 追踪前单体类。 (英语) Zbl 1110.68356号 西奥。通知。申请。 37,第4期,273-299(2003).MSC公司:68甲18 03B70号 18日第10天 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}和\textit{M.Hyland},Theor。通知。申请。37,第4号,273--299(2003;Zbl 1110.68356) 全文: 内政部 Numdam编号 欧洲DML 链接
勒文特·埃尔科克;约翰·朗奇伯里;安德鲁·莫兰 一元输入/输出的值递归语义。 (英语) Zbl 1011.68017号 西奥。通知。申请。 36,第2期,155-180(2002).MSC公司:68甲18 第68季度55 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Erkök}等人,Theor。通知。申请。36,第2号,155--180(2002;Zbl 1011.68017) 全文: 内政部 Numdam编号 欧洲DML 链接