Posted on June 19, 2015December 13, 2016 in Type Theory

Summary of Philip Walder’s “Proofs are Programs”