Types for Proofs and Programs, International Workshop TYPES 94, Båstad, Sweden, June 6-10, 1994, Selected Papers - researchr publication

researchr

You are not signed in
Sign in
Sign up

Peter Dybjer, Bengt Nordström, Jan M. Smith, editors, Types for Proofs and Programs, International Workshop TYPES 94, Båstad, Sweden, June 6-10, 1994, Selected Papers. Volume 996 of Lecture Notes in Computer Science, Springer, 1995.

Conference: TYPES1995

Abstract is missing.

runs on WebDSL