Summary of Philip Walder’s “Proofs are Programs” June 19, 2015December 13, 2016 kwangseo Type Theory Curry-Howard Isomorphism, lambda calculus, logic, natural deduction, program, proofs, type system Moved to here
Parametric Polymorphism and Girard-Reynolds Isomorphism February 21, 2014August 2, 2016 kwangseo Uncategorized Combinatory logic, Curry-Howard Isomorphism, Djinn, Girard-Reynolds, Hindley-Milner, Intuitonistic logic, lambda calculus, Lennart Augustsson, Phil Gossett http://kseo.github.io/posts/2014-02-21-parametric-polymorphism-and-girard-reynolds-isomorphism.html
Learning Prolog to be a better Haskell programmer February 17, 2014June 5, 2016 kwangseo Haskell Curry-Howard Isomorphism, Haskell, Prolog, type level programming http://kseo.github.io/posts/2014-02-17-learning-prolog-to-be-a-better-haskell-programmer.html
