Compositional characterization of lambda terms using intersection types

Articolo
Data di Pubblicazione:
2000
Tipologia CRIS:
03A-Articolo su Rivista
Elenco autori:
M. DEZANI; HONSELL F.; MOTOHAMA Y.
Link alla scheda completa:
https://iris.unito.it/handle/2318/4652
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series