Reversing higher-order pi / Lanese, I; Mezzina, C; Stefani, J-B. - 6269:(2010), pp. 478-493. ( CONCUR 2010- Concurrency Theory, 21th International Conference Parigi - Francia Settembre 2010).
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.

