Категория:Типозависимые формальные языки
Перейти к навигации
Перейти к поиску
Данная категория предназначена для формальных языков (по типу, например, языков программирования и языков спецификаций) с системами типов данных, поддерживающих типозависимость.
Страницы в категории «Типозависимые формальные языки»
Эта категория содержит единственную страницу.