Simple type theoryにおけるcut-eliminationについて--第3回日本数学会弥永賞受賞者高橋元男氏の業績

スポンサーリンク

概要

日本数学会 | 論文

もっと見る

スポンサーリンク