type theory
C59135
concept
Type theory is a formal framework that classifies expressions by their types to ensure logical consistency and safety in mathematical proofs and programming languages.
Observed surface forms (3)
| Surface form | Occurrences |
|---|---|
| dependent type theory | 1 |
| higher-order typed lambda calculus | 1 |
| research area in type theory | 1 |
Instances (4)
| Instance | Via concept surface |
|---|---|
| Martin-Löf type theory | — |
| homotopy type theory | research area in type theory |
| System F | — |
|
calculus of constructions
surface form:
Calculus of Constructions
|
— |