×
文森特·拉里;马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。

棒材归纳法符合构造型理论。 （英语） Zbl 1427.03066号

美国临床医学杂志 66，第2号，第13条，第35页（2019年）.

引用于1文件

MSC公司：

03楼50 构造系统的元数学
03B38型 类型理论
68伏15 定理证明（自动和交互式定理证明、演绎、解析等）

关键词：

棒式感应电动机;Coq公司;Nuprl公司;W型;选择序列;计算类型理论;直觉逻辑;语义学

软件：

Nuprl公司;Coq公司;seL4级;阿格达;伊德里斯;精益;CertiKOS公司
PDF格式BibTeX公司 XML格式引用
\textit{V.Rahli}等人，J.ACM 66，第2号，第13条，第35页（2019年；Zbl 1427.03066）
全文： 内政部