Visitor

Views

Chapitre 2 - Stratégies de réduction

Joue le même rôle que PCF, mais pour les langages impératifs ... Exercice : une fonction continue est monotone. Point xe. Ensemble.