Scheme - TP no 1

Université Paris I. Maîtrise de Logique. Année 2004-2005.
Nicolas Stroppa - stroppa@enst.fr

1 Introduction
2 Manipulation de fonctions
 2.1 Écrire des termes du lambda-calcul
 2.2 Réutiliser les termes
 2.3 Les fonctions: des termes comme les autres
 2.4 Procédure d’évaluation
 2.5 Récursivité
3 La structure de liste
 3.1 Manipulation de listes
4 Éléments de corrigé
Généré par TeX4ht pour Nicolas Stroppa - 11 avril 2005.