高桥，Moto-O 简单类型理论中删减定理的证明。 （英语） Zbl 0206.27503号 数学杂志。Soc.日本 19, 399-410 (1967). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3 +4个 +5 显示扫描页面 引用于30文件 MSC公司： 05年3月 切割消除和正规形定理 03B15号机组 高阶逻辑；类型理论（MSC2010） PDF格式BibTeX公司 XML格式引用 \textit{M.-O Takahashi}，J.数学。Soc.Japan日本19，399--410（1967；Zbl 0206.27503） 全文： 内政部