Data di Pubblicazione:
1996
Abstract:
We introduce and study a functional language LV, having two main features. LV has the same computational power of the lambda calculus. LV enjoys the resource-awareness of the typed/typable functional languages which encode the Intuitionistic Linear Logic.
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
L. ROVERSI
Link alla scheda completa:
Titolo del libro:
Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Pubblicato in: