Cuti, Filippo (2015) The finite lambda calculus. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]