TY - THES DP - http://www.theses.fr/2013PA077015 TI - Certificates for incremental type checking AU - Puech, Matthias A3 - Asperti, Andréa; Herbelin, Hugo PY - 2013 SP - 1 vol. (190 p. ) N1 - Thèse de doctorat Informatique Paris 7 2013 N1 - 2013PA077015 ER -