Análisis de redes sociales
Esta disciplina favorece tanto la investigación teórica, como la empírica y la cuantitativa. Dentro de esta última, la teoría de grafos, la teoría de la probabilidad, la estadística y los modelos algebraicos son los principales enfoques matemáticos usados. No obstante lo anterior, en una red social no se puede suponer la independencia muestral de observaciones realizadas sobre sus actores, ya que estos se consideran interdependientes; por lo tanto, los métodos estadísticos difieren de los usados por ejemplo en las ciencias sociales y del comportamiento. Así, por ejemplo, no se suelen utilizar regresiones múltiples, test-t, correlaciones canónicas, ni modelos de ecuaciones estructurales, pero sí son comunes los modelos log-lineales, especialmente para el análisis de díadas. En el análisis de redes sociales, la estadística descriptiva permite comprender cómo se comporta la red, mientras que la estadística inferencial permite dirimir la veracidad de las pruebas de hipótesis.
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.