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

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

Original language	English
Title of host publication	Proceedings of the 7th and 8th Asian Logic Conferences
Editors	Rod Downey, Ding Decheng, Tung Shih Ping, Qiu Yu Hui, Mariko Yasugi
Place of Publication	Singapore
Publisher	World Scientific Publishing
Pages	343 - 376
Number of pages	34
ISBN (Print)	981-238-261-5
Publication status	Published - 2003
Event	8th Asian Logic Conference - Chongqing CHINA, Chongqing, China Duration: 29 Aug 2002 → 2 Sept 2002 Conference number: 8

Conference	8th Asian Logic Conference
Country/Territory	China
City	Chongqing
Period	29/08/02 → 2/09/02
Other	7th and 8th Asian Logic Conferences were published in one proceedings

Cite this

@inproceedings{51574ce303334b28923f433c7338a7db,

title = "The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning",

author = "Poernomo, {Iman Hafiz} and Crossley, {John N}",

year = "2003",

language = "English",

isbn = "981-238-261-5",

pages = "343 -- 376",

editor = "Rod Downey and Ding Decheng and Ping, {Tung Shih} and Hui, {Qiu Yu} and Mariko Yasugi",

booktitle = "Proceedings of the 7th and 8th Asian Logic Conferences",

publisher = "World Scientific Publishing",

address = "Singapore",

note = "8th Asian Logic Conference ; Conference date: 29-08-2002 Through 02-09-2002",

}

The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning. / Poernomo, Iman Hafiz; Crossley, John N.
Proceedings of the 7th and 8th Asian Logic Conferences. ed. / Rod Downey; Ding Decheng; Tung Shih Ping; Qiu Yu Hui; Mariko Yasugi. Singapore: World Scientific Publishing, 2003. p. 343 - 376.

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

TY - GEN

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

AU - Poernomo, Iman Hafiz

AU - Crossley, John N

N1 - Conference code: 8

PY - 2003

Y1 - 2003

M3 - Conference Paper

SN - 981-238-261-5

SP - 343

EP - 376

BT - Proceedings of the 7th and 8th Asian Logic Conferences

A2 - Downey, Rod

A2 - Decheng, Ding

A2 - Ping, Tung Shih

A2 - Hui, Qiu Yu

A2 - Yasugi, Mariko

PB - World Scientific Publishing

CY - Singapore

T2 - 8th Asian Logic Conference

Y2 - 29 August 2002 through 2 September 2002

ER -