Preuves, types et sous-types

TEL :: [tel-00414653, version 1]
http://tel.archives-ouvertes.fr/tel-00414653/en/
Cette thèse porte sur l'étude théorique et pratique d'un système de typage appliqué à la preuve de programmes de style fonctionnels. Le système de base est le système ST créé par C.Raffalli;
...