学位論文 An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions

Sato, Masahiro  ,  佐藤, 雅大

2015-03-25
本文を読む

http://ir.nul.nagoya-u.ac.jp/jspui/bitstream/2237/22388/3/k10946_内容の要旨.pdf

http://ir.nul.nagoya-u.ac.jp/jspui/bitstream/2237/22388/2/k10946_審査の要旨.pdf

http://ir.nul.nagoya-u.ac.jp/jspui/bitstream/2237/22388/1/k10946_主論文.pdf

このアイテムのアクセス数:  回

その他の情報