Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
托马斯·斯特拉姆.部分适用理论与显式替换.逻辑与计算杂志, 6(1):55-77,1996
缺少摘要。