Types for Proofs and Programs, International Workshop TYPES 99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan M. Smith, editors, Types for Proofs and Programs, International Workshop TYPES 99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers. Volume 1956 of Lecture Notes in Computer Science, Springer, 2000.

Conference: TYPES2000

This author has not been identified. Look up 'Thierry Coquand' in GoogleThis author has not been identified. Look up 'Peter Dybjer' in GoogleThis author has not been identified. Look up 'Bengt Nordström' in GoogleThis author has not been identified. Look up 'Jan M. Smith' in Google

runs on WebDSL