@article{Roversi:2000-IJFCS,
  number = 1,
  volume = 11,
  month = {March},
  author = {Roversi, Luca},
  url = {http://www.di.unito.it/~rover/RESEARCH/PUBLICATIONS/2000-IJFCS/Roversi2000IJFCS.ps.gz},
  abstract = {This work is about an experimental paradigmatic functional
              language for programming with P-TIME functions. The language is
              designed from Intuitionistic Light Affine Logic. It can be typed
              automatically by a type inference algorithm that deduces
              polymorphic types a la ML.},
  title = {Light Affine Logic as a Programming Language: a First Contribution },
  publisher = {World Scientific},
  journal = {Internatinal Journal of Foundations of Computer Science},
  year = {2000},
  pages = {113 - 152},
}

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