Typechecking is undecideable when 'type' is a type (1989) (via icefox) — discussion

#math #pdf #plt