Posted on June 19, 2015December 13, 2016 in Type Theory Summary of Philip Walder’s “Proofs are Programs” Moved to here Share this:TwitterRedditFacebookLike this:Like Loading...