Estadística matemática
La estadística matemática es la escala previa en el estudio de la estadística desde un punto de vista puramente formal, usando la teoría de la probabilidad y otras ramas de la matemática tales como álgebra lineal y análisis matemático. La estadística matemática trata de la obtención de información a partir de los datos. En la práctica tales datos contienen cierta aleatoriedad o incertidumbre. La estadística trabaja con estos datos usando los métodos de la teoría de la probabilidad.
Teoría de tipos
Alonzo Church, inventor del cálculo lambda, desarrolló una lógica de orden superior comúnmente llamada Teoría de Tipos de Church, para evitar la paradoja de Kleen-Rosser que afectaba al cálculo lambda puro original. La teoría de tipos de Church es una variante del cálculo lambda en el cual las expresiones (también llamadas fórmulas o términos lambda) son clasificadas en tipos, y los tipos de expresiones restringen las maneras en que pueden ser combinadas. En otras palabras, es un cálculo lambda tipado. Hoy en día muchos otros cálculos están en uso, incluyendo la teoría de tipos intuicionista de Per Martin-Löf, el Sistema F de Jean-Yves Girard y el Cálculo de Construcciones. En el cálculo lambda tipado, los tipos juegan un papel similar al de los conjuntos en la teoría de conjuntos.