La Teoría de los Tipos y mucho del trabajo subsecuente de Russell han encontrado aplicaciones prácticas en las ciencias de la computación y la tecnología de la información.