text: I termini vengono manipolati attraverso alcune regole (la -equivalenza, la -riduzione e la -conversione), che costituiscono gli assiomi della teoria e possono essere interpretati come regole di calcolo.