Радар на почту

Калькуляция индуктивных конструкций

HN · 14.11.2026 · 23:27

Статья доступна по указанной ссылке, также есть возможность оставить комментарии.

Читать в источнике

Оригинал

The Calculus of Inductive Constructions [pdf]