Replies (3)

  • @jtootf, а у меня лежит пэдээфочка J._Roger_Hindley,_Jonathan_P._Seldin-Lambda-calculus_and_combinators,_an_introduction-Cambridge_University_Press(2008)
    Летом хотел почитать. Коддот лучше написал?
  • @ochko, или надо одновременно и то и другое читать?
  • @ochko, лучше одновременно. не обязательно именно с этой книгой, можно с Барендрегтом или Хэнкином