『型理論I』龍田真 - pogi-log

『型理論I』龍田真

龍田真. 型理論I. コンピュータソフトウェア. 1991, vol. 8, no. 1, p. 1_25-1_33. https://www.jstage.jst.go.jp/article/jssst/8/1/8_1_25/_article/-char/ja/

直観主義型理論$ \mathbf{ITT}_n

次→ 『型理論II』龍田真

#論文読み #論文 #文献