Impredicativity entails Untypedness

Peter Lietz, Thomas Streicher. Impredicativity entails Untypedness. Mathematical Structures in Computer Science, 12(3):335-347, 2002.

Abstract

Abstract is missing.