尼古拉·甘比诺;西蒙·亨利 朝向单价基础的构造性简化模型。 （英语） Zbl 1527.18022号 J.隆德。数学。社会学，II。序列号。 105，第2期，1073-1109（2022）. 审核人：Hirokazu Nishimura（筑波） MSC公司：18号45 03G30型 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{N.Gambino}和\textit{S.Henry}，J.Lond。数学。社会学，II。序列号。105，编号2，1073-1109（2022；兹bl 1527.18022） 全文： 内政部 arXiv公司
菲利波·邦奇;罗宾·皮埃德鲁;巴布亚州索波辛斯基;法比奥·扎纳西 字符串图操作语义的双代数基础。 （英语） Zbl 1518.68197号 Inf.计算。 281，文章ID 104767，22 p.（2021）.MSC公司：68问题55 18立方厘米 18立方米 68问题85 93B70型 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，《信息计算》。281，文章ID 104767，22 p.（2021；Zbl 1518.68197） 全文： 内政部 链接
尼古拉斯·贝尔;文森特·达诺斯;伊利亚斯·加尼尔 随机重写系统的组合变换和矩互模拟。 （英语） Zbl 1528.68153号 日志。方法计算。科学。 16，第3期，第3号论文，45页（2020年）.MSC公司：2012年第68季度 18B50型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Behr}等人，《日志》。方法计算。科学。16，第3期，第3号论文，45页（2020年；Zbl 1528.68153） 全文： arXiv公司 链接
乔治·巴奇;乔瓦尼·巴奇;金·古德斯特兰·拉森;拉杜·马达尔 任意可测空间上马尔可夫过程的互模拟。 （英语） Zbl 1407.68327号 van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8464, 76-95 (2014).MSC公司：68问题85 18B99型 60J25型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，Lect。注释计算。科学。8464，76-95（2014；Zbl 1407.68327） 全文： 内政部
Martins，医学硕士。;马德拉，A。;巴博萨，L.S。 对逻辑解释的联合观点。 （英语） Zbl 1353.68185号 螺柱日志。 101，第4期，783-825（2013）.MSC公司：第68季度第65季度 03G30型 18立方厘米20 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Martins}等人，研究日志。101，第4号，783--825（2013；Zbl 1353.68185） 全文： 内政部 链接
理查德·加纳;汤姆·赫肖维茨;对不起，Aurélien 变量绑定、对称单体闭理论和双图。 （英语） Zbl 1254.68171号 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，321-337（2009）。MSC公司：68问题85 18天10分 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Garner}等人，Lect。注释计算。科学。5710、321--337（2009年；Zbl 1254.68171） 全文： 内政部 哈尔
丹尼尔·豪斯曼;蒂尔·莫萨科夫斯基;卢茨·施罗德 环境演算语义的联合方法。 （英语） 兹比尔1154.68088 西奥。计算。科学。 366，编号1-2，121-143（2006）.MSC公司：68问题85 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Hausmann}等人，Theor。计算。科学。366，编号1-2121-143（2006年；Zbl 1154.68088） 全文： 内政部
张国强;蒋莹 关于Amadio和Curien的一个开放问题：有限反链条件。 （英语） 邮编1088.18004 Inf.计算。 202，第1期，87-103（2005）. 审核人：拉兹万·迪亚科内斯库（普洛耶什蒂） MSC公司：18B35型 06B35号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.Zhang}和\textit{Y.Jiang}，Inf.Compute。202，第1号，87--103（2005；Zbl 1088.18004） 全文： 内政部
莱克，斯蒂芬;巴布亚州索波辛斯基 粘合剂和准粘合剂类别。 （英语） Zbl 1078.18010号 西奥。通知。申请。 39，第3期，511-545（2005）. 审核人：维奥雷尔·米海·冈蒂内克（伊阿什） MSC公司：18日99 18A30型 18A35型 2012年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lack}和\textit{P.Sobocinn ski}，Theor。通知。申请。39，第3号，511--545（2005；Zbl 1078.18010） 全文： 内政部 Numdam编号 Numdam编号 欧洲DML
米克尔·奈加德;格林·温斯克尔 并发领域理论。 （英语） Zbl 1072.68062号 西奥。计算。科学。 316，编号1-3，153-190（2004）.MSC公司：68问题55 68问题85 18 C50 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{M.Nygaard}和\textit{G.Winskel}，Theor。计算。科学。316，编号1--3，153-190（2004；Zbl 1072.68062） 全文： 内政部
埃里克·波尔 子类型的联合语义。 （英语） 兹比尔0990.18004 西奥。通知。申请。 35，第1期，61-81（2001）. 审核人：P.Bankstone（密尔沃基） MSC公司：18 C50 68问题55 68问题85 第68页第19页 70年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{E.Poll}，Theor。通知。申请。35，第1号，61--81（2001；Zbl 0990.18004） 全文： 内政部 Numdam编号 Numdam编号 欧洲DML
长谷川、Masahito 将类型化lambda演算分解为两种分类编程语言。 （英语） Zbl 1502.68055号 大卫·皮特（编辑）等人，《范畴理论与计算机科学》。第六届国际会议，CTCS’95，英国剑桥，1995年8月7-11日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。953, 200-219 (1995).MSC公司：68甲15 03B40型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{M.长谷川}，莱克特。注释计算。科学。953200--219（1995年；Zbl 1502.68055） 全文： 内政部
艾克·里特 高阶类型\（\lambda\）-calculi的分类抽象机。 （英语） Zbl 0874.68029号 西奥。计算。科学。 136，第1期，第125-162页（1994年）.MSC公司：68甲15 03B40型 18日第15天 PDF格式BibTeX公司 XML格式引用 \文本{E.Ritter}，Theor。计算。科学。136，编号1，125--162（1994；Zbl 0874.68029） 全文： 内政部
约翰·格雷（John W.Gray）。 笛卡尔闭范畴中带替换的类型化\（\lambda \）演算的语义。 （英语） Zbl 0786.03013号 J.纯应用。代数 89，编号1-2，107-126（1993）.MSC公司：03B40型 18日第15天 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Gray}，J.Pure应用。代数89，第1-2107-126期（1993年；Zbl 0786.03013） 全文： 内政部
南卡桑吉安。;A.拉布拉。 在连续时间代理上。 （英语） Zbl 1518.68131号 Brookes，Stephen（编辑）等人，《编程语义的数学基础》。第七届国际会议，1991年3月25日至28日，美国宾夕法尼亚州匹兹堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。598, 403-425 (1992).MSC公司：2010年第68季度 18天20分 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Kasangian}和\textit{A.Labela}，莱克特。注释计算。科学。598403-425（1992年；Zbl 1518.68131） 全文： 内政部
斯特凡诺·卡桑吉安;安娜·拉布拉 丰富了分布式计算的范畴语义。 （英语） Zbl 0777.18007号 J.纯应用。代数 83，第3期，295-321（1992）. 审核人：S.Martini（比萨） MSC公司：18天20分 2010年第68季度 68问题55 18对25 PDF格式BibTeX公司 XML格式引用 \textit{S.Kasangian}和\textit{A.Labela}，J.Pure Appl。《代数》83，第3期，295--321（1992；Zbl 0777.18007） 全文： 内政部
皮埃尔·卢伊斯·居里;乔治·盖利 子类型+扩展性：\（\beta\eta\）top reduction in \（\mathrm{F}（F）_\leq\）。 （英语） 兹比尔1493.68103 Ito，Takayasu（编辑）等人，《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。526, 731-749 (1991).MSC公司：68号30 03B25号 03B40型 18日第15天 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.居里}和\textit{G.盖利}，莱克特。注释计算。科学。526731-749（1991年；Zbl 1493.68103） 全文： 内政部
林惠民;彭、满池 用大肠杆菌病模拟多重继承。 （英语） Zbl 0707.68055号 形式方面计算。 2，No.4，301-311（1990）.MSC公司：68问题55 18A30型 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin}和\textit{M.-c.Pong}，正式Asp。计算。2，第4号，301--311（1990；Zbl 0707.68055） 全文： 内政部
卡尔·A·冈特。;阿希姆·荣格 领域的一致性和一致性。 （英语） Zbl 0686.68062号 J.纯应用。代数 63，No.1，49-66（1990）.MSC公司：68问题55 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Gunter}和\textit{A.Jung}，J.Pure Appl。代数63，No.1，49--66（1990；Zbl 0686.68062） 全文： 内政部