Title: Recursive program schemes
First published: 1976
Subjects: Semantics, Proof theory, Recursive programming, Programming languages (Electronic computers)
LC classification: QA76.7 .R63