Elementary affine logic and call-by-value lambda-calculus / Dal Lago U.; Ronchi Della Rocca S.; Coppola P.. - STAMPA. - LNCS 3461:(2005), pp. 131-145. (Intervento presentato al convegno Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005 tenutosi a Nara, Japan nel April 21-23, 2005).
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.