CDL94 (Article)
|
Author(s) | F. Cardone, M. Dezani-Ciancaglini and U. de' Liguoro |
Title | « Combining Type Disciplines » |
Journal | Annals of Pure and Applied Logic |
Volume | 66 |
Page(s) | 197--230 |
Year | 1994 |
URL | http://www.di.unito.it/~dezani/papers/CDdL94.pdf |
@article{CDL94,
volume = {66},
author = {F. Cardone and M. Dezani-Ciancaglini and U. de' Liguoro},
url = {http://www.di.unito.it/~dezani/papers/CDdL94.pdf},
title = {{Combining Type Disciplines}},
tag = {{Annals of Pure and Applied Logic}},
pages = {197--230},
year = {1994},
journal = {Annals of Pure and Applied Logic},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)