Lectures on the curry-howard isomorphism (1998)

by Morten Heine Sørensen , Pawel Urzyczyn
Citations:7 - 0 self