階型理論
#型理論
#階型論
階型理論の現在
ラッセル以後、タイプ理論は数学の基礎理論としての地位は
公理的集合論
に譲るが、しかしタイプ理論自体の研究は続けられ、計算機科学や構成主義数学の分野で応用されるようになった。
from:
タイプ理論の起源と発展
2024/5/23 17:57
original:
/tomiokario-close/階型理論