Intersection, Universally Quantified and Reference Types

Contributo in Atti di convegno
Data di Pubblicazione:
2009
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
M. Dezani; P. Giannini; S. Ronchi Della Rocca
Link alla scheda completa:
https://iris.unito.it/handle/2318/140523
Titolo del libro:
CSL 2009 proceedings
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series