英戈·巴滕菲尔德 域理论中的观测诱导代数。 (英语) Zbl 1337.68158号 刘英明(编)等,第六届领域理论及其应用国际研讨会论文集,长沙,中国,2013年10月25-29日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记301,21-37,仅电子版(2014)。MSC公司:68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{I.Battenfeld},电子。注释Theor。计算。科学。301、21-37(2014年;Zbl 1337.68158) 全文: 内政部
英戈·巴滕菲尔德;克劳斯·凯梅尔;托马斯·斯特里彻 域理论中的观测诱导代数。 (英语) 兹比尔1342.68192 日志。计算方法。科学。 10,第3号,第18号论文,26页(2014年).MSC公司:68问题55 06B35号 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{I.Battenfeld}等人,日志。计算方法。科学。10,第3号,第18号论文,26页(2014;Zbl 1342.68192) 全文: 内政部 arXiv公司
亚当·斯克里文 具有不变测度的精确实积分的函数算法。 (英语) 兹比尔1286.68061 Bauer,Andrej(编辑)等人,《第24届编程语义数学基础会议论文集》(MFPS XXIV),美国宾夕法尼亚州费城,2008年5月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记218,337-353(2008)。MSC公司:68甲18 06B35号 28-04 28A75号 PDF格式BibTeX公司 XML格式引用 \textit{A.Scriven},电子。注释Theor。计算。科学。218337-353(2008年;Zbl 1286.68061) 全文: 内政部
马内斯,厄尼 集合的Monads。 (英语) Zbl 1064.18003号 Hazewinkel,M.(编辑),《代数手册》。第3卷。阿姆斯特丹:爱思唯尔(ISBN 0-444-51264-0/hbk)。67-153 (2003). 审核人:彼得·约翰斯通(剑桥) MSC公司:18立方厘米 06B35号 08C05号机组 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.Manes},in:代数手册。第3卷。阿姆斯特丹:爱思唯尔。67-153(2003年;Zbl 1064.18003)
安德鲁·M·皮茨。 递归定义域的共归纳原理。 (英语) Zbl 0795.68129号 西奥。计算。科学。 124,编号2195-219(1994).MSC公司:68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \文本{A.M.Pitts},Theor。计算。科学。124,第2号,195--219(1994;Zbl 0795.68129) 全文: 内政部
约瑟夫·戈根(Joseph A.Goguen)。;何塞·梅塞盖尔 有序代数。一: 多重继承、重载、异常和部分操作的等式推导。 (英语) Zbl 0778.68056号 西奥。计算。科学。 105,第217-273号(1992年). 审核人:S.布鲁姆(霍博肯) MSC公司:68问题55 08A70号 99年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen}和\textit{J.Meseguer},Theor。计算。科学。105,第2号,217--273(1992;Zbl 0778.68056) 全文: 内政部