CINECA IRIS Institutional Research Information System

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.

A Type-Free Resource-Aware Lambda-Calculus

ROVERSI, Luca
First
1996-01-01

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.
1996
Fifth Annual Conference of the EACSL (CSL'96)
Utrecht (The Nederland)
September 1996
Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Springer-Verlag
1258/1997
399
413
978-3-540-44802-0
http://www.di.unito.it/~rover/
L. ROVERSI
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
Roversi1996CSL.pdf

Accesso riservato

Tipo di file: PREPRINT (PRIMA BOZZA)
Dimensione 322.09 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
322.09 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/23069
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact