Søgeresultater for "Lectures on the Curry-Howard Isomorphism"
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.