MLTT is given
А этот набор категорий вообще формально определён?
ну что такое синтаксическая категория для заданного набора правил даже мне приблизительно понятно, интерпретацией можно, видимо, а самом простом случае, назвать дополнительный функтор из такой категории в Set
Обсуждают сегодня