Dans un premier temps, ce qu'est un langage fonctionnel indulgent sera brièvement présenté. A l'aide de quelques exemples, nous verrons pourquoi un tel langage facilite l'écriture de programmes implicitement parallèles. Cette première partie sera suivie d'une brève introduction du pi-calcul, notation introduite par R. Milner pour la description de processus concurrents et mobiles.
Une sémantique formelle d'un noyau de langage fonctionnel indulgent (kpH) sera ensuite présentée. Cette sémantique sera exprimée de facon dénotationnelle, en utilisant des termes de pi-calcul comme dénotation d'expressions du langage; elle permettra de bien exprimer comment l'indulgence permet d'exploiter à fond le parallélisme implicite.