BOOKS by John Newsome Crossley

Adapting Proofs-As-Programs: The Curry--Howard Protocol more books like this

by Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing

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 overview of the field and detailing tools and techniques to stimulate further research. One of the book's ...

see all copies from $53.57!

new only from $57.78!