Le système F est un formalisme logique qui permet d`exprimer de façon très riche et très rigoureuse des fonctions et d`y démontrer formellement des propriétés difficiles. Plus précisément, le système F (également connu sous le nom de lambda-calcul polymorphe ou de lambda-calcul du seco...