Concept

Type error

Modified just now

Books

Journey Statusreviewing Tags

According to Programming languages: Application and Interpretation, an inability to construct a proof that a given term has some consistent type.