学位論文 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_abstract.pdf

http://ir.nul.nagoya-u.ac.jp/jspui/bitstream/2237/22388/2/k10946_review.pdf

http://ir.nul.nagoya-u.ac.jp/jspui/bitstream/2237/22388/1/k10946_thesis.pdf

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

その他の情報