Recherche:

Bonjour,
Merci pour votre réponse.

Pour la substitution des types dans les types, il n y a aucun problème.

Pour la substitution des termes dans les termes, j'ai un petit problème lors d'une...

Bonjour à tous,

je veux implémenter le système F et je trouve des difficultés au niveau de la substitution des termes. Pour les quatre premiers cas de substitution (constante, variable,...