2. Программирование в 𝜆-исчислении
Вторая лекция курса «Соответствие Карри–Ховарда: от математической логики к программированию»
1 day ago 00:52:15 2
2 weeks ago 01:34:28 1
3 weeks ago 00:36:01 1
4 weeks ago 00:16:58 1
1 month ago 00:14:18 1
1 month ago 00:00:29 1
3 months ago 00:10:20 1
3 months ago 00:07:01 10
3 months ago 00:47:49 1
3 months ago 00:47:49 1
3 months ago 00:09:34 1
3 months ago 00:01:00 1
3 months ago 00:15:36 1
3 months ago 00:03:50 1
3 months ago 00:03:12 1
3 months ago 00:01:00 1
3 months ago 00:25:13 1
3 months ago 00:04:17 1
3 months ago 00:07:58 1
3 months ago 00:01:22 1
3 months ago 00:03:16 1
3 months ago 00:06:04 1
3 months ago 00:13:34 1
3 months ago 00:07:30 1
