Propositions as Types (2014) [pdf]

 (homepages.inf.ed.ac.uk)

108 points | by nill0 2 months ago ago

No comments yet.