Propositions as Types (2014) [pdf] (ed.ac.uk)
Programming, Computer Science, Types, Propositions
107 points by nill0 3 days ago | 74 comments