Pages that link to "Type theory"
The following pages link to Type theory:
Displaying 14 items.
- Intuitionistic Logic (← links)
- Brouwer-Heyting-Kolmogorov interpretation (← links)
- Gödel's incompleteness theorems (← links)
- Foundations of mathematics (← links)
- Brouwer (← links)
- Constructivism (← links)
- Christopher Strachey (← links)
- Fixed-point combinator (← links)
- Third Man Argument (← links)
- Self-reference (← links)
- Douglas Hofstadter (← links)
- Naive set theory (← links)
- Axiomatic set theory (← links)
- Verification (← links)