Lectures on the Curry-Howard Isomorphism
20262円

TheCurry-HowardIsomorphismtreatedascommontheme.＜br＞Thisbookgiveanintroductiontopartsofprooftheoryandcomputationalcalculiasfoundintypetheory.Forinstance,itisanoldidea---duetoBrouwer,Kolmogorov,andHeyting---thataconstructiveproofofanimplicationisaprocedurethattransforms＜br＞Butthereismoretotheisomorphismthanthis.Forinstance,itisanoldidea---duetoBrouwer,Kolmogorov,andHeyting---thataconstructiveproofofanimplicationisaprocedurethattransforms＜br＞＜br＞Keyfeatures＜br＞Butthereismoretotheisomorphismthanthis.Forinstance,＜br＞Butthereismoretotheisomorphismthanthis.Forinstance,＜br＞-Theoreticalfoundationsofcomputer-assistedreasoning画面が切り替わりますので、しばらくお待ち下さい。

※切り替わらない場合は、楽天kobo商品ページからは注文できません。


Lectures on the Curry-Howard Isomorphism



次>