Поиск
На сайте: 567989 статей, 285490 фото.

Derivation and Computation: Taking the Curry-Howard correspondence seriously (книга)

Derivation and Computation: Taking the Curry-Howard correspondence seriously
Автор: H. Simmons
C. J. van Rijsbergen
Оригинал издан: ????

«Derivation and Computation: Taking the Curry-Howard correspondence seriously»книга ???? года.

Содержание

Содержание

От издателя

«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.…»

Рецензии

См. также

Ссылки