TALK!



"A few species of logic", Steven Taschuk.



PAPER!



"Propositions as Types", Philip Wadler, presented by Aaron Levin. (link to paper (http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf))



SCISSORS!



Our website (http://www.amotlpaa.org/kcapw/index.html)