Noun: stratified language
- A language that cannot be used as its own metalanguage
"Some formal languages in logic are stratified languages"
Derived forms: stratified languages
Type of: programing language [US], programming language
Antonym: unstratified language