lectures on the curry-howard isomorphism

morten heine sorensen,pawe urzyczyn · elsevier science ltd