Fully Abstract Semantics for Concurrent Lambda-calculus

Articolo
Data di Pubblicazione:
1994
Tipologia CRIS:
03A-Articolo su Rivista
Elenco autori:
M. Dezani-Ciancaglini;U. de Liguoro;A. Piperno
Autori di Ateneo:
DE' LIGUORO Ugo
Link alla scheda completa:
https://iris.unito.it/handle/2318/102382
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series