『型理論II』龍田 真
#1991年
龍田 真. 型理論II. 1991
#文献