CDV80 (In a collection)
|
Author(s) | Mario Coppo, Mariangiola Dezani-Ciancaglini and Betti Venneri |
Title | « Principal Type Schemes and Lambda-calculus Semantics » |
In | To H.B.Curry: Essays on Combinatory Logic, Lambda-calculus and Formalism |
Page(s) | 535--560 |
Year | 1980 |
Publisher | Academic Press |
URL | http://www.di.unito.it/~dezani/papers/CDV80.pdf |
@incollection{CDV80,
author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Betti Venneri},
booktitle = {To H.B.Curry: Essays on Combinatory Logic, Lambda-calculus and
Formalism},
url = {http://www.di.unito.it/~dezani/papers/CDV80.pdf},
title = {Principal Type Schemes and Lambda-calculus Semantics},
editors = {R.Hindley and J.P.Seldin},
publisher = {Academic Press},
pages = {535--560},
year = {1980},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)