Matching Constraints for the Lambda Calculus of Objects

Contributo in Atti di convegno
Data di Pubblicazione:
1997
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
V. Bono;M. Bugliesi
Autori di Ateneo:
BONO Viviana
Link alla scheda completa:
https://iris.unito.it/handle/2318/116886
Link al Full Text:
Titolo del libro:
Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series