Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano. Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence. In Michael Kaminski, Simone Martini, editors, Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings. Volume 5213 of Lecture Notes in Computer Science, pages 478-492, Springer, 2008. [doi]
Abstract is missing.