Proofs are Programs – 19th Century Logic and 21st Century Computing
Jan 26, 2017
A great overview of this stuff is http://homepages.inf.ed.ac.uk/wadler/papers/frege/frege.pdf
A great overview of this stuff is http://homepages.inf.ed.ac.uk/wadler/papers/frege/frege.pdf