urzyczyn93

Pawel Urzyczyn. Type Reconstruction for $F_\omega$ is Undecidable. In Proc.\ Int'l Conf.\ on Typed Lambda Calculi and Applications (TLCA), Utrecht, The Netherlands, M. Bezem, J.F. Grotte (eds.), Lecture Notes in Computer Science, Volume 664, Pages 418-432, March 1993.

Keyword

[ Parametricity ]

Contact

P. Urzyczyn

BibTex Reference

@InProceedings{urzyczyn93,
   Author = {Urzyczyn, Pawel},
   Title = {Type Reconstruction for $F_\omega$ is Undecidable},
   BookTitle = {Proc.\ Int'l Conf.\ on Typed Lambda Calculi and Applications (TLCA), Utrecht, The Netherlands},
   editor = {Bezem, M. and Grotte, J.F.},
   Volume = {664},
   Pages = {418--432},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-Verlag},
   Month = {March},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)