Typechecking is undecidable when 'type' is a type (1989) [pdf]https://dspace.mit.edu/bitstream/handle/1721.1/149366/MIT-LCS-TR-458.pdf?sequence=6 by zem • 12 months ago 3 0 12 months agoDSdspace.mit.edu