Types for Proofs and Programs - International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
- Författare
- TYPES '95 TYPES '95
- (Edited by Stefano Berardi, Mario Coppo.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 1996 | Tyskland, Berlin, Heidelberg | 1 online resource (X, 298 sidor.) | |
| Springer Berlin Heidelberg | 1996 | Utgivningsland okänt / Ej specificerat |