Adapting proofs-as-programs
Logics and Meanings of Programs
Softwareentwicklung
Programming Techniques
Logic design
Symbolic and mathematical Logic
Software engineering
Computer science
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs ha…
Read online
Reader not loading? Open it on Archive.org instead.
