@article{Poernomo2017, author = "Poernomo, Iman Hafiz, 1976-", title = "{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}", year = "2017", month = "9", url = "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", doi = "10.4225/03/59c9fe4995db8" }