Lazi

calculate (fonction)

Contexte

On définit la fonction qui à partir d'un langage de calcul, d'un calcul et d'une formule retourne le résultat du calcul.

Définition

Soit l un langage de calcul, c un calcul et f une formule, calculate l c f est le résultat du calcul de c sur f.