MIPT-Coq-CyPr-23-Lect-01

About Share Download Add to

Введение в инженерию доказательств в МФТИ. Темы: (продолжение лекции по ФП) бестиповое лямбда-исчисление, редукции, теорема Чёрча-Россера.

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/VXRsWUt5YU80Z0RKcEVkZlhIN0tJcjgwbi9hVzlWcWRYMkRxOU1OQkVEUT0" 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