Pages that link to "Type theory"
Jump to navigation
Jump to search
The following pages link to Type theory:
Displaying 50 items.
- Axiom of choice (← links)
- Axiom of regularity (← links)
- Abstract data type (← links)
- Computer science (← links)
- Category theory (← links)
- Cardinal number (← links)
- Currying (← links)
- Euclidean geometry (← links)
- First-order logic (← links)
- John Major (← links)
- Mathematics (← links)
- Mathematical logic (← links)
- Constructivism (philosophy of mathematics) (← links)
- Ordered pair (← links)
- Product (mathematics) (← links)
- Peano axioms (← links)
- Semantics (← links)
- Willard Van Orman Quine (← links)
- Russell's paradox (← links)
- Natural deduction (← links)
- Cantor's diagonal argument (← links)
- Axiom schema of specification (← links)
- Axiom schema of replacement (← links)
- P-complete (← links)
- Denotational semantics (← links)
- Colon (punctuation) (← links)
- Contradiction (← links)
- Data type (← links)
- Tuple (← links)
- Truth value (← links)
- Formal methods (← links)
- Mu (letter) (← links)
- Proof theory (← links)
- Function (mathematics) (← links)
- Type system (← links)
- Set (abstract data type) (← links)
- List (abstract data type) (← links)
- Subtyping (← links)
- Curry–Howard correspondence (← links)
- Type variable (← links)
- Algebraic data type (← links)
- Extensionality (← links)
- Universe (mathematics) (← links)
- Liskov substitution principle (← links)
- Heyting algebra (← links)
- Theoretical computer science (← links)
- Domain theory (← links)
- Hereditarily finite set (← links)
- Partition of a set (← links)
- Second-order logic (← links)