My thesis as a bachelor student in Computer Science at the University of Bologna. Its main focus are probabilistic term rewriting and termination. My supervisor was Professor Dal Lago.

All material is 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).