What is the difference between proofs and programs?

Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review

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	https://doi.org/10.1007/978-94-007-0080-2_6
Publication status	Published - 2011

Access to Document

@inbook{a714551c8c4e4d1f8ee8df906c9eaa74,

title = "What is the difference between proofs and programs?",

author = "Crossley, \{John Newsome\}",

year = "2011",

doi = "10.1007/978-94-007-0080-2\_6",

language = "English",

isbn = "9789400700796",

pages = "81 -- 97",

editor = "\{van Benthem\}, Johan and Amitabha Gupta and Rohit Parikh",

booktitle = "Proof, Computation and Agency: Logic at the Crossroads",