|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| CDR84 (In proceedings) | |
| Author(s) | M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca |
| Title | « Semi-Separability of Finite Sets of Terms in Scott's -models of -calculus » |
| In | ICALP'78 |
| Series | Lecture Notes in Computer Science |
| Editor(s) | G. Ausiello and C.Böhm |
| Volume | 62 |
| Page(s) | 142--164 |
| Year | 1978 |
| Publisher | Springer-Verlag |
| http://www.di.unito.it/˜dezani/papers/Semiseparability.pdf | |
| BibTeX code |
@inproceedings{CDR84,
volume = 62,
pdf = {http://www.di.unito.it/~dezani/papers/Semiseparability.pdf},
date = ,
author = {M. Coppo and {Dezani-Ciancaglini}, M. and {Ronchi della Rocca}, S.
},
series = {Lecture Notes in Computer Science},
modified = {2007-11-11 12:19:16 +0100},
booktitle = {ICALP'78},
editor = {G. Ausiello and C.B\"ohm},
title = {{Semi-Separability of Finite Sets of Terms in Scott's
$D_\infty$-models of $\lambda$-calculus}},
publisher = {Springer-Verlag},
year = {1978},
pages = {142--164},
}
|
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)