英
プログラミング
数学
言語学
型
型システム
数学
計算機科学
型システム
集合論
アロンゾ・チャーチ
型付きラムダ計算
マルティン・レーフ
直観主義型理論
バートランド・ラッセル
ラッセルのパラドックス
フレーゲ
素朴集合論
[1]
ホワイトヘッド
ラッセル
プリンキピア・マテマティカ
[2]
単純階型理論（Simple Theory of Types）詳細は「ST型理論
量化
議論領域
一階述語論理
ペアノの公理
自然数
接中辞
論理式
原子論理式
恒等式
集合
公理型
自由変項
一階述語論理
二項関係
反射的
推移的
ZFC
公理的集合論
存在論
存在論
型システム
値
文字列
整数
要出典
型理論の他分野への影響

コンピューター

コンパイラ
自然言語
意味論
モンタギュー文法
様相論理
指標
様相論理
時相論理
関数
真理値
指示関数
言語学

言語学
自然言語
形式意味論
モンタギュー文法
脚注の使い方
^
^
参考文献

"Computational type theory"
Scholarpedia
Intuitionistic Type Theory
http://www.csie.ntu.edu.tw/~b94087/ITT.pdf
Programming in Martin-Lof's Type Theory
http://www.cse.chalmers.se/research/group/logic/book/
ISBN
978-4-00-080309-0

ポータル 数学
バートランド・ラッセル
ペール・マルティン＝レーフ
アロンゾ・チャーチ
型付きラムダ計算
直観主義型理論
型システム
データ型
領域理論
圏論

数理論理学
書きかけの項目
協力者を求めています