Søgning - alle produkter
Find og sammenlign priser på produkter fra danske webshops. Brug søgefeltet eller browse efter kategorier for at finde det du leder efter.
Morten Heine Sørensen og Pawel Urzyczyn
Lectures on the Curry-Howard Isomorphism
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 pro
994,95 kr.