Approche naïve

Essayez tout d'abord de compléter la théorie suivante, qui tente naïvement de définir la sémantique opérationnelle de Niklaus à l'aide d'une fonction.

Fonctions récursives

Exploration des liens entre définitions récursives et points fixes :

Définition de la factorielle comme point fixe d'un foncteur :

Sémantique dénotationnelle

Raisonner sur des boucles infinies

Équivalence entre sémantiques opérationnelle et dénotationnelle