MIPT-Coq-26-Lect-04

Аватар автора
evgeny.dashkov
Интерактивное доказывание теорем (Coq) в МФТИ. Темы: представимость и примитивная рекурсия; явная рекурсия; комбинатор неподвижной точки; решение "уравнений"; минимизация; лямбда-исчисление с простыми типами (вариант de Bruijn&; вывод типов.

0/0


0/0

0/0

0/0

Скачать популярное видео

Популярное видео

0/0