"Propositions as Types" by Wadler is a great introductory history of the interconnectedness between logic systems and programming languages: http://homepages.i

"Propositions as Types" by Wadler is a great introductory history of the interconnectedness between logic systems and programming languages: http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-...