丹尼尔·希勒斯特罗姆;萨姆·林德利;罗伯特·艾奇 通过通用延续的效果处理程序。 （英语） Zbl 1442.68028号 J.功能。程序。 30，论文编号e5，第69页（2020）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Hillerström}等人，J.Funct。程序。30，论文编号e5，69 p.（2020；Zbl 1442.68028） 全文： 内政部
艾娜·林·乔治斯;阿加塔·穆劳斯卡;肖恩·奥蒂斯;碧姬·品特卡 林肯：具有一流上下文的线性逻辑框架。 （英语） Zbl 1485.68065号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 530-555 (2017).MSC公司：68号30 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Georges}等人，Lect。注释计算。科学。10201、530--555（2017；Zbl 1485.68065） 全文： 内政部
海约·蒂莱克 解析操作的语义。 （英语） 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） 全文： 内政部
加布里埃尔·科尼丝;朱利叶斯·克罗博切克 Continuation传递C，通过Continuation将线程编译为事件。 （英语） Zbl 1256.68038号 高-订购符号。计算。 24，第3期，239-279（2011）.MSC公司：68N20型 68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Kernis}和\textit{J.Chroboczek}，高-订购符号。计算。24，第3号，239--279（2011；Zbl 1256.68038） 全文： 内政部 arXiv公司
皮埃尔·卢伊斯·居里 特别卷前言。 （英语、法语） 兹比尔1213.03043 西奥。计算。科学。 412，第20期，1853-1859（2011）.MSC公司：03B70号 03楼52 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.居里}，Theor。计算。科学。412，第20号，1853--1859（2011；Zbl 1213.03043） 全文： 内政部
杰夫·艾格;莫格尔贝格、拉斯穆斯·埃杰勒斯;亚历克斯·辛普森 用线性类型丰富效果演算。 （英语） Zbl 1257.03053号 Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771240-254（2009）。MSC公司：03B70号 03楼52 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{J.Egger}等人，Lect。注释计算。科学。5771240-254（2009年；Zbl 1257.03053） 全文： 内政部 链接
Yukiyoshi县Kameyama CPS层次结构中控制运算符的公理。 （英语） Zbl 1128.68009号 高-订购符号。计算。 20，第4期，339-369页（2007年）.MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kameyama}，高-订单符号。计算。20，第4号，339--369（2007；Zbl 1128.68009） 全文： 内政部
J.莱尔德。 游戏语义和线性CPS解释。 （英语） Zbl 1070.68085号 西奥。计算。科学。 333，第1-2号，199-224（2005）.MSC公司：68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛J.Laird｝，Theor。计算。科学。333，编号1--2，199-224（2005；Zbl 1070.68085） 全文： 内政部
奥利维·洛朗 两极化游戏。 （英语） Zbl 1055.03020号 Ann.纯粹应用。逻辑 130，编号1-3，79-123（2004）.MSC公司：03B70号 03楼52 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{O.Laurent}，Ann.纯苹果。逻辑130，编号1--3，79-123（2004；Zbl 1055.03020） 全文： 内政部