Programs as proofs: a synopsis
Author:
- Robert L. ConstableRCRobert L. Constable
- 15 April 1983
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 16 (3) , 105-112
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