A Structural (Meta-Logical) Semantics for Linear Objects

Contributo in Atti di convegno
Data di Pubblicazione:
1995
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/196983
Titolo del libro:
1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995