"Poernomo" . . "saisie" . "Iman Hafiz Poernomo" . . "2016-01-27" . . "2016-01-27"^^ . . "Iman Hafiz Poernomo"@fr . "male" . "Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing, 2005. - . - LC Authorities. - http://authorities.loc.gov. - 2013-10-30"@fr . . . . . . . "0000000124412016" . . . . . "16719913"^^ . "1976"^^ . . "2013-10-30" . "Iman Hafiz" . . . . . . .