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

1 pointsposted 6 hours ago
by max-amb
(cklixx.people.wm.edu)

No comments yet