论文标题
我早期研究兴趣的历史记录
A Historical Account of My Early Research Interests
论文作者
论文摘要
本文简要说明了我的一些早期研究兴趣。这个历史叙述始于我关于信号理论的月球论文和计算理论的硕士论文。它回想起组合性逻辑和术语重写系统的一些结果。其他一些结果涉及程序转换，并行计算，并发理论和计划属性证明。我的早期研究活动主要是与Andrzej Skowron，Anna Labella和Maurizio Proietti合作进行的。
This paper presents a brief account of some of the my early research interests. This historical account starts from my laurea thesis on Signal Theory and my master thesis on Computation Theory. It recalls some results in Combinatory Logic and Term Rewriting Systems. Some other results concern Program Transformation, Parallel Computation, Theory of Concurrency, and Proof of Program Properties. My early research activity has been mainly done in cooperation with Andrzej Skowron, Anna Labella, and Maurizio Proietti.
