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

2017-09-26T07:14:16Z (GMT) by Poernomo, Iman Hafiz, 1976-
Abstract not available