Thesis or Dissertation An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions

佐藤, 雅大  ,  Sato, Masahiro

2015-03-25
Full-Text

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

Number of accesses :  

Other information