Browse editions

Current edition
Lectures on the Curry-Howard Isomorphism by Paweł Urzyczyn, Morten Heine B. Sørensen

Lectures on the Curry-Howard Isomorphism

Paweł Urzyczyn, Morten Heine B. Sørensen

442 pages • first pub 2006 (editions)

computer science mathematics challenging informative medium-paced
Other editions (0)