|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
DeBeneRo16 (Article) | |
Author(s) | Erika De Benedetti and Simona Ronchi Della Rocca |
Title | « A type assignment for lambda-calculus complete both for FPTIME and strong normalization » |
Journal | Information and Computation |
Volume | 248 |
Year | 2016 |
Download the complete article:
BibTeX code |
@article{DeBeneRo16,
ages = {195-214},
volume = {248},
author = {De Benedetti, Erika and {Ronchi Della Rocca}, Simona},
title = {A type assignment for lambda-calculus complete both for FPTIME and
strong normalization},
localfile = {http://www.di.unito.it/~ronchi/papers/IC-DeBenedetti-Ronchi-rev.pdf},
journal = {Information and Computation},
year = {2016},
}
|
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)