Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

Roversi:1996-CSL (In proceedings)
Author(s) Luca Roversi
Title« a Type-Free Resource-Aware λ-Calculus »
InFifth Annual Conference of the EACSL (CSL'96)
SeriesLecture Notes in Computer Science
Volume1258
Page(s)399 -- 413
Year1996
PublisherSpringer-Verlag
AddressUtrecht (The Nederland)
URLhttp://www.di.unito.it/~rover/RESEARCH/PUBLICATIONS/1996-CSL/Roversi1996CSL.ps.gz
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.

BibTeX code

@inproceedings{Roversi:1996-CSL,
  volume = {1258},
  month = {September},
  author = {Roversi, Luca},
  series = {Lecture Notes in Computer Science},
  booktitle = {Fifth Annual Conference of the EACSL (CSL'96)},
  url = {http://www.di.unito.it/~rover/RESEARCH/PUBLICATIONS/1996-CSL/Roversi1996CSL.ps.gz},
  address = {Utrecht (The Nederland)},
  title = {a {T}ype-{F}ree {R}esource-{A}ware $\lambda$-{C}alculus},
  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.},
  copyrightspringer = {http://www.springer.de/comp/lncs/index.html},
  publisher = {Springer-Verlag},
  year = {1996},
  pages = {399 -- 413},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!