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…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
