Type Theory

Type Theory (Stanford Encyclopedia of Philosophy)

• url: https://plato.stanford.edu/entries/type-theory/

.

Intuitionistic Type Theory (Stanford Encyclopedia of Philosophy)

• url: https://plato.stanford.edu/entries/type-theory-intuitionistic/

.

computability - Does there exist a Turing complete typed lambda calculus? - Computer Science Stack Exchange

• url: https://cs.stackexchange.com/questions/2638/does-there-exist-a-turing-complete-typed-lambda-calculus

.

Characterization of lambda-terms that have union types - Computer Science Stack Exchange

• url: https://cs.stackexchange.com/questions/62/characterization-of-lambda-terms-that-have-union-types/88#88

.

Type Theory and Mathematical Logic | artagnon.com

• url: https://artagnon.com/logic
• topics: Type Theory, FoM, Logic

.

Typed Combinators

• url: http://chriswarbo.net/blog/2012-12-01-typed_combinators.html

.

Recursive Types for Free! (Philip Wadler)

• url: https://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt
• topics: Type Theory, Category Theory

.

Computational type theory - Scholarpedia

• url: http://www.scholarpedia.org/article/Computational_type_theory

.