Impredicative Strong Existential Equivalent to Type:Type

@inproceedings{Hook1986ImpredicativeSE,
  title={Impredicative Strong Existential Equivalent to Type:Type},
  author={James G. Hook and Douglas J. Howe},
  year={1986}
}