Data di Pubblicazione:
2004
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
L. BETTINI; V. BONO; S. LIKAVEC
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Pubblicato in: