Lectures on the Curry-Howard Isomorphism by Morten Heine Sørensen M.Sc, Ph.D Back to product details page >