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

wells94

J.B. Wells. Typability and Type Checking in the Second-Order $\lambda$-Calculus Are Equivalent and Undecidable. Research Report Boston University, Computer Science Department, No 93, January 1994.

Keyword

[ Parametricity ]

Contact

J. B. Wells

BibTex Reference

@TechReport{wells94,
   Author = {Wells, J.B.},
   Title = {Typability and Type Checking in the Second-Order $\lambda$-Calculus Are Equivalent and Undecidable},
   Number = {93},
   Institution = {Boston University, Computer Science Department},
   Month = {January},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)