Typechecking is undecideable when 'type' is a type (1989) [pdf]dspace.mit.edu48 pointsbirdculture7 months ago