Калькуляция индуктивных конструкций
HN · 14.11.2026 · 23:27
Статья доступна по указанной ссылке, также есть возможность оставить комментарии.
Оригинал
The Calculus of Inductive Constructions [pdf]
HN · 14.11.2026 · 23:27
Статья доступна по указанной ссылке, также есть возможность оставить комментарии.
The Calculus of Inductive Constructions [pdf]