|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| CDHL84 (In proceedings) | |
| Author(s) | M. Coppo, M. Dezani-Ciancaglini, F. Honsell and G. Longo |
| Title | « Extended Type Structures and Filter Lambda Models » |
| In | Logic Colloquium 82 |
| Editor(s) | G. Lolli, G. Longo and A. Marcja |
| Page(s) | 241--262 |
| Year | 1984 |
| Publisher | North-Holland |
| Address | Amsterdam, the Netherlands |
| http://www.di.unito.it/˜dezani/papers/ExtTypesStructures_Models.pdf | |
| BibTeX code |
@inproceedings{CDHL84,
pdf = {http://www.di.unito.it/~dezani/papers/ExtTypesStructures_Models.pdf},
author = {M. Coppo and {Dezani-Ciancaglini}, M. and F. Honsell and G. Longo},
booktitle = {Logic Colloquium 82},
editor = {G. Lolli and G. Longo and A. Marcja},
address = {Amsterdam, the Netherlands},
title = {{Extended Type Structures and Filter Lambda Models}},
publisher = {North-Holland},
pages = {241--262},
year = {1984},
}
|
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)