Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers
Miculan, Marino
•
Scagnetto, Ivan
•
Honsell, F.
2008
Periodico
LECTURE NOTES IN COMPUTER SCIENCE
Archivio
Diritti
metadata only access