Jabarkan Kalkulus Lambda dari Bentuk kanonik

Istilah lambda ada di bentuk normal beta jika tidak ada kemungkinan pengurangan beta; kalkulus lambda adalah kasus khusus dari sistem penulisan ulang abstrak. Dalam kalkulus lambda yang tidak diketik, misalnya, istilah  tidak memiliki bentuk normal. Dalam kalkulus lambda yang diketik, setiap istilah yang terbentuk dengan baik dapat ditulis ulang ke bentuk normalnya.