3. Типы в 𝜆-исчислении и соответствие Карри—Ховарда
Третья лекция курса «Соответствие Карри–Ховарда: от математической логики к программированию»
1 week ago 00:01:29 1
2 weeks ago 00:00:57 1
2 weeks ago 00:08:06 1
3 weeks ago 00:11:56 1
3 weeks ago 00:16:16 1
3 weeks ago 01:17:17 1
3 weeks ago 00:25:46 1
3 weeks ago 00:15:23 1
3 weeks ago 00:06:19 1
3 weeks ago 00:04:25 1
3 weeks ago 00:03:49 10
4 weeks ago 00:30:17 1
4 weeks ago 00:00:00 1
4 weeks ago 00:46:26 1
1 month ago 02:15:51 1
![Папич vs. Радан, консорт Микеллы [нарезка всех траев]](https://sun9-64.userapi.com/QeQXDFtRJvHfmudoj2Hk60_5sZ5A19yCus1-pA/tmRPI_H7U-U.jpg)
1 month ago 00:58:01 1
1 month ago 00:34:18 1
1 month ago 00:08:32 1
1 month ago 00:44:57 10
1 month ago 00:21:17 1
2 months ago 00:13:45 1
2 months ago 00:08:54 1
2 months ago 00:18:13 1
2 months ago 00:12:37 1
