Login / Signup

Impredicativity entails Untypedness.

Peter LietzThomas Streicher
Published in: Math. Struct. Comput. Sci. (2002)
Keyphrases