CINECA IRIS Institutional Research Information System

Elementary Affine Logic and the Call by Value Lambda Calculus

RONCHI DELLA ROCCA, Simonetta
2005-01-01
2005
Inglese
contributo
TLCA 2005
Nara (Japan)
21-23 aprile 2005
Internazionale
Sì, ma tipo non specificato
Vol. 3461
131
145
LECTURE NOTES IN COMPUTER SCIENCE
ITALIA
04-CONTRIBUTO IN ATTI DI CONVEGNO::04B-Conference paper in rivista
info:eu-repo/semantics/conferenceObject
3
none
P. COPPOLA; U. DAL LAGO; S. RONCHI DELLA ROCCA
273
04B-Conference paper in rivista
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/28962
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact