Formalisation du langage

Formalisation du langage

 Formalisation du langage Le but de cette thèse est d’étudier différentes techniques de sous-typage au dessus…