The Undecidability of System F Typability and Type Checking for Reductionists.

Andrej Dudenhefner

Browse the full LICS paper archive.