Paweł Urzyczyn

2 books

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
Lectures on the Curry-Howard Isomorphism: Volume 149 by Paweł Urzyczyn, Morten Heine B. Sørensen

Lectures on the Curry-Howard Isomorphism: Volume 149

Paweł Urzyczyn, Morten Heine B. Sørensen

442 pages • missing pub info (editions)

nonfiction computer science mathematics challenging informative reflective medium-paced
More...