Lambda-calcul

    <p class=default>
      
        Les objets du lambda-calcul sont les lambda-termes. Il en existe trois sortes :
      
    <br/>

      
            * les variables : x, y, ...
      
    <br/>

      
            * les applications : si u et v sont des lambda-termes uv est aussi un lambda-terme. On 
        peut alors voir u comme une fonction et v comme un argument, uv étant alors l'image de v 
        par la fonction u.
      
    <br/>

      
            * les abstractions : si x est une variable et u un lambda-terme alors ?x.u est un 
        lambda-terme. Intuitivement, ?x.u est la fonction qui à x associe u.
      
    <br/>

      
        
      
    </p>