Constable, R., & Moczydlowski, W. (2008). Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रConstable, Robert, और Wojciech Moczydlowski. Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V, 2008.
एमएलए (9वां संस्करण) प्रशस्ति पत्रConstable, Robert, और Wojciech Moczydlowski. Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V, 2008.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.