A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects
Contributo in Atti di convegno
Data di Pubblicazione:
1995
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
V. Bono;L. Liquori
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers
Pubblicato in: