Adapting Proofs-as-Programs: The Curry-Howard Protocol

Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing

    Research output: Book/ReportBookResearchpeer-review

    Original languageEnglish
    Place of PublicationNew York USA
    PublisherSpringer
    Number of pages420
    ISBN (Print)0387237593
    Publication statusPublished - 2005

    Cite this