Gå direkte til innholdet
Types for Proofs and Programs
Spar

Types for Proofs and Programs

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs.
Undertittel
International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
ISBN
9783540617808
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
2.10.1996
Antall sider
298