Un'introduzione ai concetti-chiave dei calcoli di ambienti e delle loro discipline di tipi, illustrati attraverso un certo numero di sistemi proposti negli ultimi anni, come Mobile Ambients, Safe Ambients, Boxed Ambients, e altri calcoli di ambienti con tipi.
Ambient Calculi with Types: a Tutorial.
GIOVANNETTI, Elio
2003-01-01
Abstract
Un'introduzione ai concetti-chiave dei calcoli di ambienti e delle loro discipline di tipi, illustrati attraverso un certo numero di sistemi proposti negli ultimi anni, come Mobile Ambients, Safe Ambients, Boxed Ambients, e altri calcoli di ambienti con tipi.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
