Filter Models for Parallel and Non-deterministic Lambda-Calculus

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