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)
- Bertrand Russell (links)
- Computer science (links)
- Category theory (links)
- Cardinal number (links)
- Cardinality (links)
- Currying (links)
- List of computer scientists (links)
- Euclidean geometry (links)
- First-order logic (links)
- List of programmers (links)
- Isomorphism (links)
- John Major (links)
- Logical positivism (links)
- Mathematics (links)
- Mathematical logic (links)
- Constructivism (philosophy of mathematics) (links)
- Ordered pair (links)
- Programming language (links)
- Product (mathematics) (links)
- Peano axioms (links)
- Semantics (links)
- Truth (links)
- Theory (links)
- Tree (abstract data type) (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)
- Alfred Tarski (links)
- Data type (links)
- Tuple (links)
- Gregory Bateson (links)
- Truth value (links)
- Formal methods (links)
- Isabelle (proof assistant) (links)
- Mu (letter) (links)
- Foundations of mathematics (links)
- Outline of computer science (links)
- Proof theory (links)
- Metamathematics (links)
- Function (mathematics) (links)
- Axiomatic system (links)