3 ms·“Propositions as Types” by Philip Wadler (2015) (links logic to computation)1 points by peter_d_sherman 4y ago