Retour à la page du séminaire

4/12/98: Juliusz Chroboczec (Université d'Édimbourg)
Un lambda-calcul avec erreurs et sous-typage.

abstract

Il n'est pas difficile d'inclure dans un lambda-calcul non typé une notion d'échec de la réduction (erreur). En demandant qu'un système de types évite une certaine classe d'erreurs, on peut assez simplement et de façon assez systématique en dériver une algèbre de types et une notion de sous-type.
Les résultats présentés sont une traduction en termes de syntaxe de certaines conclusions de mon travail sur la sémantique des jeux.
Cependant, l'exposé sera de nature élémentaire et populiste, et la sémantique des jeux ne sera mentionnée qu'à des fins publicitaires.