  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.

Logic in Computer Science;Programming Languages