弗兰克·J·奥利斯。 关于成为约翰·雷诺兹的学生。 (英语) Zbl 1113.01321号 西奥。计算。科学。 375,编号1-3,346-350(2007).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \文本{F.J.Oles},Theor。计算。科学。375,编号1--3,346--350(2007;Zbl 1113.01321) 全文: 内政部
莫里斯·F·洛克伍德 定理处理中的一些练习。 (英语) Zbl 1111.68114号 西奥。计算。科学。 375,编号1-3,335-345(2007).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \文本{F.L.Morris},Theor。计算。科学。375,编号1--3,335--345(2007;Zbl 1111.68114) 全文: 内政部
杨红seok 关系分离逻辑。 (英语) 兹比尔1111.68078 西奥。计算。科学。 375,编号1-3,308-334(2007).MSC公司:60年第68季度 03B70型 PDF格式BibTeX公司 XML格式引用 \文本{H.Yang},Theor。计算。科学。375,编号1--3,308--334(2007;Zbl 1111.68078) 全文: 内政部
O'Hearn,Peter W。 资源、并发和本地推理。 (英语) Zbl 1111.68023号 西奥。计算。科学。 375,编号1-3,271-307(2007).MSC公司:68甲19 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn},Theor(西奥)。计算。科学。375,编号1--3,271--307(2007;Zbl 1111.68023) 全文: 内政部
斯蒂芬·布鲁克斯 并发分离逻辑的语义。 (英语) Zbl 1111.68021号 西奥。计算。科学。 375,编号1-3,227-270(2007).MSC公司:68甲19 68问题55 03B70型 PDF格式BibTeX公司 XML格式引用 \文本{S.Brookes},Theor。计算。科学。375,编号1--3,227--270(2007;Zbl 1111.68021) 全文: 内政部
菲利普·沃德勒 Girard-Reynolds同构(第二版)。 (英语) Zbl 1111.03014号 西奥。计算。科学。 375,编号1-3,201-226(2007).MSC公司:03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \文本{P.Wadler},Theor。计算。科学。375,编号1-3201-226(2007年;兹bl 1111.03014) 全文: 内政部
彼得·弗雷德 重温核心代数。 (英语) 兹比尔1118.18004 西奥。计算。科学。 375,编号1-3,193-200(2007). 审核人:米歇尔·赫伯特(开罗) MSC公司:18天35分 03C05号机组 68甲18 08A70号 PDF格式BibTeX公司 XML格式引用 \文本{P.Freyd},Theor。计算。科学。375,编号1--3,193-200(2007;Zbl 1118.18004) 全文: 内政部
Sumii、Eijiro;本杰明·皮尔斯。 动态密封的相互模拟。 (英语) Zbl 1111.68034号 西奥。计算。科学。 375,编号1-3,169-192(2007).MSC公司:68第25页 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{E.Sumii}和\textit{B.C.Pierce},Theor。计算。科学。375,编号1--3,169-192(2007;Zbl 1111.68034) 全文: 内政部
可能吧,马修;希弗斯,奥林 使用框架字符串分析高阶语言的环境结构。 (英语) Zbl 1111.68019号 西奥。计算。科学。 375,编号1-3,137-168(2007).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Might}和\textit{O.Shivers},Theor。计算。科学。375,编号1--3,137--168(2007;Zbl 1111.68019) 全文: 内政部
尼尔·D·琼斯。;安徒生,尼尔斯 惰性高阶函数程序的流分析。 (英语) Zbl 1111.68017号 西奥。计算。科学。 375,编号1-3,120-136(2007).MSC公司:2012年第68季度 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.D.Jones和\textit{N.Andersen,Theor。计算。科学。375,编号1--3,120-136(2007;Zbl 1111.68017) 全文: 内政部
C.B.琼斯。 安全地分裂原子。 (英语) Zbl 1111.68022号 西奥。计算。科学。 375,编号1-3109-119(2007).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \文本{C.B.Jones},Theor。计算。科学。375,编号1--3,109-119(2007;Zbl 1111.68022) 全文: 内政部
马·戈扎塔·比尔纳卡;奥利维尔·丹维 上下文相关计算和抽象机器之间的语法对应。 (英语) Zbl 1111.68065号 西奥。计算。科学。 375,编号1-3,76-108(2007).MSC公司:68问题55 68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Biernacka}和\textit{O.Danvy},Theor。计算。科学。375,编号1--3,76-108(2007;Zbl 1111.68065) 全文: 内政部
安德烈·菲林斯基 论一元语义之间的关系。 (英语) Zbl 1111.68066号 西奥。计算。科学。 375,编号1-3,41-75(2007).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \提奥,textit{A.Filinski}。计算。科学。375,编号1--3,41-75(2007;Zbl 1111.68066) 全文: 内政部
马丁·海兰德;保罗·布莱恩·利维;戈登·普洛金;权力,约翰 将代数效应与延续相结合。 (英语) Zbl 1111.68067号 西奥。计算。科学。 375,编号1-3,20-40(2007).MSC公司:68问题55 2005年第68季度 2010年第68季度 18立方厘米 18立方厘米 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{M.Hyland}等人,Theor。计算。科学。375,编号1--3,20--40(2007;Zbl 1111.68067) 全文: 内政部 链接
C·赫米达。;R.D.坦能。 可能世界语义的fibrational框架Algol公司-喜欢语言。 (英语) Zbl 1135.68032号 西奥。计算。科学。 375,编号1-3,3-19(2007). 审核人:米歇尔·伊坦(斯特拉斯堡) MSC公司:68问题55 68甲15 18立方厘米50 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{C.Hermida}和\textit{R.D.Tennent},Theor。计算。科学。375,编号1--3,3--19(2007;Zbl 1135.68032) 全文: 内政部