Tag
The article argues that type theory adds unnecessary complexity to programming language foundations and proposes a simpler view based on relational membership.