Morten Heine Sørensen M.Sc Ph.D的图书会按更新时间持续补充，适合从代表作和同主题书继续延展阅读。
Lectures on the Curry-Howard Isomorphism, Volume 149
Morten Heine Sørensen M.Sc Ph.D
评分 暂无
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
