La programmation applicative (de LISP à la machine en passant par le lambda-calcul)(coll. Langue, raisonnement, calcul). Accéder au produit