タイプ理論関連リンク集。

• Russell's Paradox

http://plato.stanford.edu/entries/russell-paradox/

• Type Theory

http://plato.stanford.edu/entries/type-theory/

• Principia Mathematica

http://plato.stanford.edu/entries/principia-mathematica/

• The Notation in Principia Mathematica

http://plato.stanford.edu/entries/pm-notation/

• Quine's New Foundations

http://plato.stanford.edu/entries/quine-nf/

• Frege's Logic, Theorem, and Foundations for Arithmetic

http://plato.stanford.edu/entries/frege-logic/

• Principia Mathematica

http://quod.lib.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=AAT3201.0003.001

• Principia Mathematica: Whitehead and Russel

http://www.math.uwaterloo.ca/~snburris/htdocs/scav/principia/principia.html

• Bertrand Russell: critical assessments, Vol. IV, Andrew Irvine, ed.

http://bit.ly/hCXHoS

• Church's Type Theory

http://plato.stanford.edu/entries/type-theory-church/