Vorobyov, Sergei Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-97-2-006.pdf (Any fulltext), 292KB
Vorobyov, S.(1997). Third-order matching in $\lambda\rightarrow$-Curry is undecidable (MPI-I-1997-2-006). Saarbrücken: Max-Planck-Institut für Informatik.