Constructive Mathematics and Computer Programming
Top Cited Papers
- 27 June 2014
- journal article
- Published by Elsevier
- Vol. 104, 153-175
- https://doi.org/10.1016/s0049-237x(09)70189-2
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The programming language pascalActa Informatica, 1971
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935
- Zur Deutung der intuitionistischen LogikMathematische Zeitschrift, 1932