My thesis as a bachelor student in Computer Science at the University of Bologna. Its main focus is probabilistic term rewriting and termination. The fulltext is also available on the institutional theses repository of the University of Bologna. My supervisor was Professor Dal Lago.

The thesis is exclusively in Italian. This repository includes:

• the Standard ML programs (invoke them from the src/ directory itself);
• the work’s \(\LaTeX\) source code (the resulting PDF is published here);
• the defense’s slides’ \(\LaTeX\) source code (the resulting PDF is published here).