Downloads Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers e-book
Par barnard lee le vendredi, juillet 12 2013, 16:10 - Lien permanent
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers book download
Ferruccio Damiani, Mario Coppo, Stefano Berardi
Download Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers