Typage sans types, preuve de la préservation du type.


Christophe Raffalli, . 1 décembre 2005 10:15 limd 2:00:00
Abstract:

Je donnerai les définitions de bases et la preuve de subject-reduction de mon système.