非可述的性
#Fleeting_Notes
非可述的性(impredicative)
型$ A を定義したとに、
確認用
Q. 非可述的性
メモ
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/173335/1/phs_7_1.pdf
調査用
Google.icon 非可述的性(日)
Google.icon Impredicative(英)
Wikipedia.icon
非可述的性 - Wikipedia(日)
非可述的性(検索) - Wikipedia(日)
Wikipedia.icon
Impredicative - Wikipedia(英)
Impredicative(検索) - Wikipedia(英)