Interpretaciones de las probabilidades
Hay dos categorías amplias de interpretaciones de las probabilidades las cuales pueden ser llamadas probabilidades "físicas" y "evidenciales".  Algunas interpretaciones de probabilidad son asociadas con enfoques a inferencia estadística, incluyendo las teorías de estimación y pruebas de hipótesis. La interpretación física, por ejemplo, es adoptada por seguidores de los métodos estadísticos "frecuentistas", como Ronald Fisher [dubious] , Jerzy Neyman y Egon Pearson. Los estadísticos de la escuela opuesta (bayesiana) típicamente aceptan la existencia e importancia de las probabilidades físicas, así como también consideran el cálculo de probabilidades evidenciales; de acuerdo a esta escuela, ambas son válidas y necesarias en estadísticas. Este artículo, sin embargo, se enfoca en las interpretaciones de probabilidad más que en las teorías de inferencia estadística.
Teoría de tipos homotópica
Esto incluye, entre otras líneas de trabajo, la construcción de modelos homotópicos y en teorías de categorías de alto orden para las teorías de tipos intensionales; el uso de la teoría de tipos como lógica (o lenguaje interno) de la teoría de homotopía abstracta y teoría de categorías de orden superior; el desarrollo de matemáticas dentro de fundaciones basadas en teoría de tipos (incluyendo tanto matemática existente como la matemática nueva que los tipos homotópicos hacen posible); y la formalización de cada una de estas líneas en asistentes de demostración.