Showing 1 - 4 of 4 Results
1.
Lectures on the Curry-Howard Isomorphism by Urzyczyn, Pawel, Sørensen, ... ISBN: 9780444520777 List Price: $145.00
2.
Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, S... by Urzyczyn, Pawel, Královic, ... ISBN: 9783540377917 List Price: $139.00
4.
Lectures On the Curry-howard Isomorphism by Urzyczyn, Pawel, S. Rensen,... ISBN: 9780080478920