作者:A. G. Fraser
ACM通讯，1971年6月，第14卷第6期，409-416页
10.1145/362604.362615
评论
假定编程语言的数据名和操作系统的文件名之间有一个相似的函数。根据相同的基本概念来讨论这两个函数，以便确定它们重叠的程度。建议在文件目录和类型为context的可存储对象之间有一些相似之处。然后详细讨论上下文操作。
我们注意到Church's &lgr;很好地处理了这些上下文操作思想的符号。函数可以被看作是基于表达式&lgr;(namelist)(表达式)(valuelist)(valuelist)的前两个术语的抽象，而上下文可以被看作是基于等价表达式&mgr;(namelist)(valuelist)(表达式)的前两个术语的抽象。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择以下选项之一，以访问优质内容和功能。
创建Web帐户
如果您已经是ACM会员，通信数码图书馆的订阅者，请建立一个网页帐户，以访问本网站的优质内容。
参加ACM
成为ACM的会员可以充分利用ACM杰出的计算信息资源、联网机会和其他好处。
订阅ACM通讯杂志
获得《中华文化纵横》50年以上的完整内容，每月获得印刷版。
购买这篇文章
非会员可以购买这篇文章或它所在的杂志。
