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

1 points | by max-amb an hour ago

No comments yet