Gå direkt till innehållet
Types for Proofs and Programs
Spara

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.
Undertitel
International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
ISBN
9783540617808
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1996-10-02
Sidor
298