Type theory

Aucun article

Dependent type Homotopy type theory Type system St type theory Ramified theory of types Axiom of reducibility Intuitionistic type theory Cubical type theory Intensional type theory Extensional type theory Identity type Inductive type Inductive data type Induction recursion Induction induction Quotient type Refinement type Function type Product type Existential type Universal type Empty type Unit type Bottom type Any type Void type Option type Nullable type Tagged union Algebraic data type Generalized algebraic data type Recursive data type Abstract data type Abstract type Composite data type Enumerated type Container type theory Kind type theory Type constructor Type family Type class Type variable Type inference Type checking Type safety Type signature Type conversion Type erasure Typability Type reconstruction Typing rule Typing environment Subtyping Bounded quantification Parametric polymorphism Ad hoc polymorphism Polymorphism computer science Parametricity Principal type Hindleymilner type system Logical framework Lf logical framework Higher order abstract syntax Uniqueness of identity proofs Girards paradox Type in type Substructural type system Session type Effect system Uniqueness type Intersection type Type theory with records Semantics of type theory Polynomial functor type theory Functor type theory Subject reduction Subject expansion Curryhoward correspondence Beckman quarles type theorems Parametric representation of univalent functions Univalency conditions Univalency radius Variation of a univalent function

Pas encore d'articles dans cette catégorie — ça arrive.