RUS
ENG
Full version
VIDEO LIBRARY
XVII Summer School "Contemporary Mathematics", 2017
July 29, 2017
09:30
, Dubna
Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 4
V. N. Bragilevsky
https://youtu.be/5VV5OUV02XE
Website:
https://www.mccme.ru/dubna/2017/courses/bragilevsky.html
Series of lectures
Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 1
V. N. Bragilevsky,
July 24, 2017
17:15
Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 2
V. N. Bragilevsky,
July 26, 2017
09:30
Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 3
V. N. Bragilevsky,
July 28, 2017
15:30
Соответствие Карри–Ховарда: от математической логики к программированию. Занятие 4
V. N. Bragilevsky,
July 29, 2017
09:30
©
Steklov Math. Inst. of RAS
, 2024