Propositions as Types
«Высказывания и Типы»
An almost direct Russian translation of Philip Wadler’s “Propositions as Types” talk from Strange Loop 2015 (see also Wadler’s Communications of the ACM paper) — introducing the Curry–Howard correspondence — propositions as types, proofs as programs — for the Algorithmic Languages seminar at Lomonosov MSU.