Propositions as Types (2014) [pdf]

 (homepages.inf.ed.ac.uk)

108 points | by nill0 a year ago ago

No comments yet.