Paweł Urzyczyn
Paweł Urzyczyn has written at least 0 books. Their most popular book is Lectures on the Curry-Howard Isomorphism with 1 save with an average rating of 5⭐.
Lectures on the Curry-Howard Isomorphism
ByMorten Heine B. Sørensen,Paweł Urzyczyn
2006 • 1 Reader • 442 pages • 5