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