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

2026-01-30 | original

read original get Type checker → more articles

Article content not available. Read the full article at the source.

Explore topics: type type pdf type type typechecking typechecking undecidable