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 homotópica
En lógica matemática y ciencias de la computación, la teoría de tipos homotópica (HoTT , por sus siglas en inglés) son varias líneas de desarrollo de la teoría de tipos intensional, basada en interpretar los tipos como objetos a los cuales se aplican las intuiciones de la teoría de homotopía abstracta.