[Rov96] A Type-Free Resource-Aware λ-Calculus

Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)

Roversi:1996-CSL (In proceedings)
Author(s)	Luca Roversi
Title	« a Type-Free Resource-Aware $λ$ -Calculus »
In	Fifth Annual Conference of the EACSL (CSL'96)
Series	Lecture Notes in Computer Science
Volume	1258
Page(s)	399 -- 413
Year	1996
Publisher	Springer-Verlag
Address	Utrecht (The Nederland)
URL	http://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)