The algebraic theory of recursive program schemes
- 1 January 1975
- book chapter
- Published by Springer Nature
- p. 126-131
- https://doi.org/10.1007/3-540-07142-3_71
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Operational and mathematical semantics for recursive polyadic program schemataACM SIGPLAN Notices, 1973
- Categories for the Working MathematicianGraduate Texts in Mathematics, 1971
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963