Поиск
На сайте: 567998 статей, 285524 фото.

Adapting Proofs-as-Programs: The Curry-Howard Protocol (книга)

Adapting Proofs-as-Programs: The Curry-Howard Protocol
Автор: Iman Hafiz Poernomo
John Newsome Crossley
Martin Wirsing
Оригинал издан: 2005

«Adapting Proofs-as-Programs: The Curry-Howard Protocol»книга 2005 года.

Содержание

Содержание

От издателя

«This monograph details several important advances in the area known as the proofs-as-programs paradigm, a set of approaches to developing programs from proofs in constructive logic. It serves the dual purpose of providing a state-of-the-art…»

Рецензии

См. также

Ссылки