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