Похожие книги
Вы можете посоветовать похожие книги по сюжету, жанру, стилю или настроению. Предложенные вами книги другие пользователи увидят здесь, в блоке «Похожие книги».
Derivation and Computation : Taking the Curry-Howard correspondence seriously (Cambridge Tracts in Theoretical Computer Science)
C. J. van Rijsbergen, H. Leslie Simmons
The two notions of proofs and calculations are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. This volume explores this key relationship and introduces simple type theory.
Получить эту книгу или продать свою
ПерейтиСодержание
Дополнительная информация об издании
ISBN: 0521771730
Язык: Русский
