#ТЯП, бонусная лекция

Курс «CS301. Теория языков программирования», институт математики, механики и компьютерных наук им. И.И. Воровича, Южный федеральный университет Соответствие Карри-Ховарда (высказывания как типы)