APA(7版)引用形式
Iman Hafiz Poernomo, M. W. Adapting Proofs-as-Programs: The Curry--Howard Protocol. Springer.
Chicagoスタイル(17版)引用形式
Iman Hafiz Poernomo, Martin Wirsing. Adapting Proofs-as-Programs: The Curry--Howard Protocol. Nueva York, EUA: Springer.
MLA(9版)引用形式
Iman Hafiz Poernomo, Martin Wirsing. Adapting Proofs-as-Programs: The Curry--Howard Protocol. Springer.
警告: この引用は必ずしも正確ではありません.