@article{LiSt:04,
  pages = {335-347},
  title = {Impredicativity entails untypedness},
  author = {P. Lietz and T. Streicher},
  number = {3},
  journal = {Math.~Struct.~Comp.~Sc.},
  volume = {12},
  year = {2002},
}