Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday.
A Mobility Calculus with Local and Dependent Types / M. COPPO; F.COZZI; M. DEZANI; E. GIOVANNETTI; R. PUGLIESE. - STAMPA. - (2005), pp. 404-444. [10.1007/11601548_20]
A Mobility Calculus with Local and Dependent Types
PUGLIESE, ROSARIO
2005
Abstract
Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
