Typechecking is Undecidable When 'Type' is a Type (1989)

Cached

Download Links

by Mark B. Reinhold
Citations:3 - 0 self