Description : nature fonctionnelle, typage, variable libre-liée.

Niveau : U1

Mots-clés : Typer Méthodologie

Domaine : algebra - Langue : fr

Catégorie : exercise

Auteur(s) : Fabrice Guerimand - Contact : Fabrice.Guerimand@unice.fr

Adresse : module=U1/logic/typer.fr

Version : 1.00 - Copyright 2003 Fabrice Guerimand

This work is licensed under the GNU GPL: http://www.gnu.org/licences/gpl.html