卡里姆·卡索;安东·塞泽尔 自动和交互式定理证明的轻量级集成。 (英语) Zbl 1361.68189号 数学。结构。计算。科学。 26,第1期,129-153(2016).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Kanso}和\textit{A.Setzer},数学。结构。计算。科学。26,第1号,129--153(2016;Zbl 1361.68189) 全文: 内政部
塞萨尔·伊奥内斯库 使用函数编程和依赖类型进行漏洞建模。 (英语) 兹比尔1361.68040 数学。结构。计算。科学。 26,第1期,114-128(2016).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.Ionescu},数学。结构。计算。科学。26,第1号,114--128(2016;Zbl 1361.68040) 全文: 内政部
尼尔·加尼;彼得·汉考克 容器、单子体和归纳递归。 (英语) Zbl 1361.68039号 数学。结构。计算。科学。 26,第1期,89-113(2016).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Ghani}和\textit{P.Hancock},数学。结构。计算。科学。26,第1号,89--113(2016;Zbl 1361.68039) 全文: 内政部
安娜·波夫;亚历山大·克劳斯;索索、马蒂厄 交互式定理证明程序中的偏爱和递归——概述。 (英语) Zbl 1361.68186号 数学。结构。计算。科学。 26,第1号,38-88(2016).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bove}等人,数学。结构。计算。科学。26,第1号,第38--88号(2016;Zbl 1361.68186) 全文: 内政部
阿伦斯,贝内迪克特 语法和语义的相对单体上的模块。 (英语) 兹比尔1361.68034 数学。结构。计算。科学。 26,第1期,3-37(2016).MSC公司:68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens},数学。结构。计算。科学。26,第1号,第3--37号(2016;Zbl 1361.68034) 全文: 内政部 arXiv公司
托尔斯滕·阿滕柯奇(编辑);康纳·麦克布莱德(编辑) 2010年独立类型编程论文集——概述。 (英语) Zbl 1362.00031号 数学。结构。计算。科学。 26,第1期,第1-2期(2016年).MSC公司:00B25型 68-06 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Altenkirch}(编辑)和\textit{C.McBride}(主编),数学。结构。计算。科学。26,第1号,1--2号(2016;Zbl 1362.00031) 全文: 内政部