MIPT-FP-23-Lect-02

About Share Download Add to

Функциональное программирование в МФТИ. Темы: булевы и арифметические функции в бестиповом лямбда-исчислении. Вниманию зрителей: теоретическая часть у курса общая с курсом про Coq.

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/VzdaeVBZdFd0Ykc0ZFEzWlRxRFJmNXQ0WTNoN2pnb2lQL1k1bnBuZ0h3MD0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later