Elementary Affine Logic and the Call by Value Lambda Calculus

Contributo in Atti di convegno

Data di Pubblicazione:

2005

Tipologia CRIS:

04B-Conference paper in rivista

Elenco autori:

P. COPPOLA; U. DAL LAGO; S. RONCHI DELLA ROCCA

Link alla scheda completa:

https://iris.unito.it/handle/2318/28962

Pubblicato in:

LECTURE NOTES IN COMPUTER SCIENCE

Journal

LECTURE NOTES IN COMPUTER SCIENCE

Series