Preuve de programmes impératifs en théorie des types. Thèse de doctorat, Université Paris-Sud (1999)

by J-C Filliâtre
Venue:61 Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, and