Position précédente : professeur des universités. Position actuelle : retraité (2005)
Chercheur dilettante (... trois enfants, six petits-enfants ...) LIFO
projet "Contraintes et Apprentissage"
E-mail : Gerard.Ferrand@univ-orleans.fr
Publication récente :
G. Ferrand, W. Lesaint, A.Tessier
"Explanations and Proof Trees",
Computing and Informatics, Vol. 25, 2006, 105-125
Une introduction à l'induction et à la coinduction (commentaires bienvenus) :