Modifications of the program scheme model
作者：
Highlights：
•
摘要
In [7] Paterson defined a formal model for abstract programs and proved many results about such schemas. In this paper we place minor modifications on the Paterson model, and consider the significance of these changes.
论文关键词：
论文评审过程：Received 16 January 1978, Revised 2 October 1978, Available online 4 December 2003.
论文官网地址：https://doi.org/10.1016/0022-0000(79)90036-9
