. . "Haskell/The Curry-Howard isomorphism"@en. "http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism". . . . "Faith, Evolution, and Programming Languages - lecture by Philip Wadler (video)"@en. "http://video.google.co.uk/videoplay?docid=-4167170843018186532&ei=i3GESfSIGab8iAL_0eHzCg&q=philip+wadler&hl=en". . . . "Proofs are Programs: 19th Century Logic and 21st Century Computing - Philip Wadler, 2000"@en. "http://www.google.com/url?sa=t&source=web&ct=res&cd=1&url=http%3A%2F%2Fhomepages.inf.ed.ac.uk%2Fwadler%2Fpapers%2Ffrege%2Ffrege.pdf&ei=IjKDSc3rMYm4sAORgIW4DQ&usg=AFQjCNF0VZFhjM-odXvrP3DZd4YWwBuSjQ&sig2=1ggJd6LZV0qzmc31VT62FQ". . . . "The Curry-Howard Correspondence in Haskell"@en. "http://www.thenewsh.com/~newsham/formal/curryhoward/". . _:wyfiqnVO1835 . _:wyfiqnVO1835 "proofsareprograms". . . "And Logic Begat Computer Science - lecture by Moshe Vardi (video)"@en. "http://www.cs.uiuc.edu/mm/videos/dls/2005-10-31-Vardi-DLS.asx". . . . . . . . . . . . . . . . "Proofs are Programs"@en. . . . . . . . . . "True"^^. . _:wyfiqnVO1835. . . . . . . "False"^^. . "Source: Freebase - The World's database".