Siirry suoraan sisältöön
Types for Proofs and Programs
Tallenna

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.
Alaotsikko
International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
ISBN
9783540617808
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
2.10.1996
Sivumäärä
298