Vorobyov, Sergei Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-97-2-006.pdf (全文テキスト(全般)), 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.