Typechecking is undecideable when 'type' is a type (1989) [pdf] November 23, 2025 by Cnznews notes <a href Share this: Share on Facebook (Opens in new window) Facebook Share on X (Opens in new window) X Like this:Like Loading... Related