generated at
2/22/2025, 10:21:21 AM
純粋型システム
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