Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, editors, Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers. Volume 2277 of Lecture Notes in Computer Science, Springer, 2002.

Conference: TYPES2002

This author has not been identified. Look up 'Paul Callaghan' in GoogleThis author has not been identified. Look up 'Zhaohui Luo' in GoogleThis author has not been identified. Look up 'James McKinna' in GoogleThis author has not been identified. Look up 'Robert Pollack' in Google

runs on WebDSL