Les modèles simples des langages de programmation contiennent beaucoup de fonctions qu'on ne peut pas écrire (par exemple) en CaML, parce qu'il faudrait pouvoir faire des calculs «en parallèle».
On définit donc une classe de fonctions, dites séquentielles. Le problème est qu'il n'existe aucun modèle formé uniquement de fonctions séquentielles. On examine donc d'autres notions de séquentialité, définies à partir d'un langage qu'on voudrait étudier, ou de façon abstraite.
Dans le second cas, on obtient des fonctions qui ne sont pas programmables dans un langage purement fonctionnel (le noyau de CaML), mais qui restent tout à fait extensionnelles et qui ont une caractérisation mathématique assez simple.
La première partie de l'exposé présentera les intuitions de la séquentialité puis (très simplement) les quelques notions nécessaires, puis (toujours simplement) les différentes facons de présenter ce modèle, et le reste de l'exposé sera consacré à des exemples et des applications.
L'exposé sera tout à fait accessible aux conscrits, comme toujours.