S. Hirokawa. Principal Type-Schemes of BCI-Lambda-Terms. In Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan, T. Ito, A. Meyer (eds.), Lecture Notes in Computer Science, Vol. 526, Pages 631-650, September 1991.
[ Parametricity ]
@InProceedings{hirokawa91,
Author = {Hirokawa, S.},
Title = {Principal Type-Schemes of {BCI}-Lambda-Terms},
BookTitle = {Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan},
editor = {Ito, T. and Meyer, A.},
Pages = {631--650},
Publisher = {Springer},
Month = {September},
Year = {1991}
}
Get EndNote Reference (.ref)