Impredicativity entails untypedness (0)

by P Lietz, T Streicher
Venue:Mathematical Structures in Computer Science