¿Cuál es realmente la diferencia conceptual entre un cálculo y un álgebra? Eg. ¿Es el cálculo combinador SKI realmente un cálculo?
Un amigo afirma que las variables libres son fundamentales para un cálculo, y como tal que SKI no es un cálculo, sino un álgebra.
