Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefano Berardi, Mario Coppo, Ferruccio Damiani, editors, Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. Volume 3085 of Lecture Notes in Computer Science, Springer, 2004.

Conference: TYPES2004

This author has not been identified. It may be one of the following persons:

Stefano Berardi

Look up 'Stefano Berardi' in GoogleThis author has not been identified. Look up 'Mario Coppo' in GoogleThis author has not been identified. Look up 'Ferruccio Damiani' in Google

runs on WebDSL