Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marino Miculan, Ivan Scagnetto, Furio Honsell, editors, Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Volume 4941 of Lecture Notes in Computer Science, Springer, 2008.

Conference: TYPES2008

This author has not been identified. Look up 'Marino Miculan' in GoogleThis author has not been identified. Look up 'Ivan Scagnetto' in GoogleThis author has not been identified. Look up 'Furio Honsell' in Google

runs on WebDSL