The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning

Iman Hafiz Poernomo, John N Crossley

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 7th and 8th Asian Logic Conferences
    EditorsRod Downey, Ding Decheng, Tung Shih Ping, Qiu Yu Hui, Mariko Yasugi
    Place of PublicationSingapore
    PublisherWorld Scientific Publishing
    Pages343 - 376
    Number of pages34
    ISBN (Print)981-238-261-5
    Publication statusPublished - 2003
    Event8th Asian Logic Conference - Chongqing CHINA, Chongqing, China
    Duration: 29 Aug 20022 Sep 2002
    Conference number: 8

    Conference

    Conference8th Asian Logic Conference
    Country/TerritoryChina
    CityChongqing
    Period29/08/022/09/02
    Other 7th and 8th Asian Logic Conferences were published in one proceedings

    Cite this