Talk:Nominative type system

From Wikipedia, the free encyclopedia

Where does the term "nominative type system" come from? I've heard this called a "nominal type system", but "nominative" is not something I've seen.