Jump to : Keyword | Contact | BibTex reference | EndNote reference |

hirokawa91

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.

Keyword

[ Parametricity ]

Contact

S. Hirokawa

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)