Tratamiento de términos que representan el mismo concepto en el cálculo-l

El cálculo-l es una teoría que enfatiza los aspectos computacionales de las funciones. Los términos del cálculo-l se construyen a partir de variables, un constructor para denotar la aplicación de una función a un argumento y un símbolo ligador. Este símbolo ligador, que se utiliza para denotar funci