Terms are manipulated through some rules, (the -equivalence, the -reduction, and the -conversion), which are the axioms of the theory and may be interpreted as rules of computation.
Kaucap kemanipulasin marginin makudang tata titi, (kapadaang, reduksi, lan konversi), sane marupa aksioma teori lan polih tafsiran pinaka tata titi komputasi.