A proof of cut-elimination theorem in simple type-theory

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人 日本数学会の論文

一般社団法人 日本数学会 | 論文

• A proof of cut-elimination theorem in simple type-theory
• Metacompactness and subparacompactness of product spaces
• The asymptotic distribution of discrete eigenvalues for Schrödinger operators
• Hecke polynomials of modular groups and congruence zeta functions of fibre varieties
• Semi-simple degree of symmetry and maps of degree one into a product of 2-spheres

もっと見る

スポンサーリンク