The Hardest Problem in Type Theory - Computerphile
Смотрите видео The Hardest Problem in Type Theory - Computerphile онлайн без регистрации, длительностью 23 минут 40 секунд в хорошем hd качестве. Это видео добавил пользователь Computerphile 30 Июль 2021, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 130 тысяч раз и оно понравилось 4 тысяч людям.