Curry-Howard Correspondence – How proof assistants work [pdf]

(cklixx.people.wm.edu)

1 points | by max-amb 5 hours ago ago

No comments yet.