wr
hn
Top
New
Best
Ask
Show
Jobs
Back
H
homepages.inf.ed.ac.uk
Propositions as Types (2014) [pdf]
108 points
nill0
1 year ago
75 comments
Discussion
