A Historical Account of My Early Research Interests

08/07/2020
by   Alberto Pettorossi, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/08/2019

On Church's Thesis in Cubical Assemblies

We show that Church's thesis, the axiom stating that all functions on th...
research
07/08/2020

MRIF: Multi-resolution Interest Fusion for Recommendation

The main task of personalized recommendation is capturing users' interes...
research
05/12/2019

Sequent-Type Proof Systems for Three-Valued Default Logic

Sequent-type proof systems constitute an important and widely-used class...
research
08/06/2019

Proof of All: Verifiable Computation in a Nutshell

Recent advances in the cryptographic field of "Zero-Knowledge Proofs" ha...
research
07/07/2020

An Embellished Account of Agafonov's Proof of Agafonov's Theorem

We give an account of Agafonov's original proof of his eponymous theorem...
research
12/09/2020

Constructive Master's Thesis Work in Industry: Guidelines for Applying Design Science Research

Context: Software engineering researchers and practitioners rely on empi...

Please sign up or login with your details

Forgot password? Click here to reset