Категория:Типозависимые формальные языки (Tgmyikjnx&Mnhk[gfnvnbdy skjbgl,udy x[dtn)
Перейти к навигации
Перейти к поиску
Данная категория предназначена для формальных языков (по типу, например, языков программирования и языков спецификаций) с системами типов данных, поддерживающих типозависимость.
Страницы в категории «Типозависимые формальные языки»
Показано 5 страниц из 5, находящихся в данной категории. Список ниже может не отражать последних изменений.