Wiktionary
nominative type systems
n. (nominative type system English)
n. (nominative type system English)