Original language | English |
---|---|
Title of host publication | Proof, Computation and Agency: Logic at the Crossroads |
Editors | Johan van Benthem, Amitabha Gupta, Rohit Parikh |
Place of Publication | Berlin Germany |
Publisher | Springer |
Pages | 81 - 97 |
Number of pages | 17 |
ISBN (Print) | 9789400700796 |
DOIs | |
Publication status | Published - 2011 |
What is the difference between proofs and programs?
Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review