c/Dependently-typed formal languages

Information
lexicalization	eng: Dependently-typed formal languages
subclass of	(noun) (computer science) a language designed for programming computers programing language, programming language
has instance	e/Aldor
has instance	e/Cayenne programming language
has instance	e/Dependent type
has instance	e/NuPRL
has instance	e/Prototype Verification System
has instance	e/Twelf

Meaning
Russian
lexicalization	rus: Типозависимые формальные языки