|
|
Lambda Calculus
September 13, 2022 16:25–17:50, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
Lecture 1. Lambda Calculus
S. L. Kuznetsov |
Video records: |
![mp4](/fticons/mp4.svg) |
MP4 |
1,449.7 Mb |
![mp4](/fticons/mp4.svg) |
MP4 |
2,676.8 Mb |
Number of views: |
This page: | 371 | Video files: | 163 | Youtube: | |
|
|
|