Schemes with recursion on higher types

Publisher Website

1 January 1976

book chapter
Published by Springer Nature

p. 352-358
https://doi.org/10.1007/3-540-07854-1_198

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Theory of Program Structures: Schemes, Semantics, Verification
Published by Springer Nature ,1975
Simple Program Schemes and Formal Languages
Lecture Notes in Computer Science, 1974