Summary of Philip Walder’s “Proofs are Programs”

 

Moved to here

Advertisements

Parametric Polymorphism and Girard-Reynolds Isomorphism

http://kseo.github.io/posts/2014-02-21-parametric-polymorphism-and-girard-reynolds-isomorphism.html