Myvideo

Guest

Login

MIPT-Coq-22-Lect-03

Uploaded By: Myvideo
1 view
0
0 votes
0

Интерактивное доказывание теорем (Coq) в МФТИ. Темы: минимизация; представимость любой вычислимой функции в \Lambda; вторая теорема о неподвижной точке; теорема Скотта; неразрешимость \Lambda; лямбда-исчисление с простыми типами; вывод типов. ======== Если видео показалось вам полезным, вы можете поддержать автора: === If you have found this video helpful, you might want to support the author: === BTC: bc1q3p5x57cppjs0rfgj5f406yrljxylg96seed0t4

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later