Typechecking is undecideable when 'type' is a type (1989) [pdf]

(dspace.mit.edu) by birdculture | Nov 18, 2025 | 27 comments on HN