Алгебраические типы данных. Интуиционистская пропозициональная логика
Пятница, 21 февраля 2020
Таймс, ауд. 410
Тип-произведение, тип-сумма. Основы интуиционисткой логики и ее кодирование в Coq.