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