Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence.

Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano

Browse the full CSL paper archive.