純粋型システム
Pure Type System
https://en.wikipedia.org/wiki/Pure_type_system
https://ncatlab.org/nlab/show/pure+type+system
http://patryshev.com/books/barendregt.pdf