[Коллоквиум]: Линейная логика и функциональное программирование

Интересная лекция по линейной логике и функциональному программированию. В первой части очень кратко рассказывают про неклассические логики (модальную, интуиционистскую, релевантную и линейную) и про Генценовское исчисление. Во второй части вкратце про лямбда-исчисление и, как следствие, про соответствие Карри-Ховарда. Никаких специальных предварительных сведений в принципе не требуется (но знакомство хотя бы с одним языком программирования для второй части может быть полезным).