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
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.