List of papers (with links to the PDF versions) mentioned in Philip Wadler's presentation on Propositions as Types at StrangeLoop 2015 (https://www.youtube.com/watch?v=IOiZatlZtGU)
- Propositions as Types, Philip Wadler 2014
- Grundzuge der Theoretischen Logik, David Hilbert and Wilhelm Ackermann 1928
- Unfortunately I couldn't find it available online for free, but you can find it on amazon!
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (original, translated), Kurt Gödel 1930
- Proof of normalization for natural deduction, Gerhard Gentzen 1935
- An Unsolvable Problem of Elementary Number Theory, Alonzo Church 1936
- General recursive functions of natural numbers, S. C. Kleene 1936.
- On computable numbers, with an application to the Entscheidungsproblem, Alan Turing 1936
- Some theorems about Church's system, Alan Turing 1936-8
- The Formulae as Types notion of Construction, W. A. Horward 1969
Note: Feel free to contribute by adding missing links, or papers relevant to the subject!