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.
[ Parametricity ]
@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}
}
Get EndNote Reference (.ref)