algorithmique & calcul numerique - Editions Ellipses

La bible du ?-calcul est le livre de Barendregt [Bar84]. 1.1 Syntaxe. Les trois constructions principales du ?-calcul sont : ? la variable (il faut bien commencer  ...


Un extrait du document