型理論の文献
『Intuitionistic Type Theory (Stanford Encyclopedia of Philosophy)』
『Intuitionistic Type Theory』
#特定の文献リスト