Implementation and applications of Scott's logic for computable functions
- 1 January 1972
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 7 (1), 1-6
- https://doi.org/10.1145/942578.807067
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- On the formal description of PL/IAnnual Review in Automatic Programming, 1969
- Properties of Programs and the First-Order Predicate CalculusJournal of the ACM, 1969
- A Basis for a Mathematical Theory of Computation)Published by Elsevier ,1963