What is the difference between proofs and programs?

    Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

    Original languageEnglish
    Title of host publicationProof, Computation and Agency: Logic at the Crossroads
    EditorsJohan van Benthem, Amitabha Gupta, Rohit Parikh
    Place of PublicationBerlin Germany
    Pages81 - 97
    Number of pages17
    ISBN (Print)9789400700796
    Publication statusPublished - 2011

    Cite this