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