Variations on a theme of Curry and Howard : the Curry-Howard isomorphism and the proofs-as-programs paradigm adapted to imperative and structured program synthesis Poernomo, Iman Hafiz, 1976- 10.4225/03/59c9fe4995db8 https://bridges.monash.edu/articles/thesis/Variations_on_a_theme_of_Curry_and_Howard_the_Curry-Howard_isomorphism_and_the_proofs-as-programs_paradigm_adapted_to_imperative_and_structured_program_synthesis/5441149 Abstract not available 2017-09-26 07:14:16 Proof theory Type theory Automatic theorem proving Programming languages (Electronic computers) Open Access 2003 thesis(doctorate) 1959.1/9405 monash:6396