Dudenhefner, A.A.DudenhefnerRehof, JakobJakobRehof2022-03-142022-03-142018https://publica.fraunhofer.de/handle/publica/404440en004A Simpler Undecidability Proof for System F Inhabitationconference paper