Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности вы можете узнать у организаторов события.
"Propositions as Types" P. Wadler
16-го Февраля пройдет первая встреча PapersWeLove Spb в этом году.
На встрече выступит Виталий Брагилевский, преподаватель ЮФУ (Ростов-на-Дону), член комитета Haskell 2020, контрибьютор в GHC и Idris.
Виталий сделает доклад по мотивами известной публикации "Propositions as Types" P. Wadler — это введение в теорию вычислений, логику, соответствие Карри-Ховарда и проблематику формальной верификации ПО.