Programs as proofs: a synopsis
- 15 April 1983
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 16 (3) , 105-112
- https://doi.org/10.1016/0020-0190(83)90060-1
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- On the interpretation of intuitionistic number theoryThe Journal of Symbolic Logic, 1945