code79

M. Coppo, M. Dezani-Ciancaglini. A New Type Assignment for Lambda-Terms. Archive f. math. Logik und Grundlagenforschung, 19:139-156, 1979.

Keyword

[ Parametricity ]

Contact

Mario Coppo
Mariangiola Dezani-Ciancaglini

BibTex Reference

@article{code79,
   Author = {Coppo, M. and Dezani-Ciancaglini, M.},
   Title = {A New Type Assignment for Lambda-Terms},
   Journal = {Archive f. math. Logik und Grundlagenforschung},
   Volume = {19},
   Pages = {139--156},
   Year = {1979}
}

EndNote Reference [help]

Get EndNote Reference (.ref)