Algunos sistemas formales como el cálculo lambda, y la lógica combinatoria entre otras han devenido en auténticos lenguajes de programación, creando nuevos paradigmas como son la programación funcional y la programación lógica.