Constable, R., & Moczydlowski, W. (2008). Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V.
Chicago-Zitierstil (17. Ausg.)Constable, Robert, und Wojciech Moczydlowski. Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V, 2008.
MLA-Zitierstil (9. Ausg.)Constable, Robert, und Wojciech Moczydlowski. Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V, 2008.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.