Pawel Urzyczyn eBooks
eBooks found: 1
Lectures on the Curry-Howard Isomorphism
Elsevier S&T, September 2006
ISBN: 9780444520777
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional >>
eBook price:
$145.00












.jpg)





