Vorobyov, Sergei Programming Logics, MPI for Informatics, Max Planck Society;
1997-2-006 (Any fulltext), 10KB
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.