paragraph_text: Tradicionalno, tipizirani lambda računi su shvaćeni kao rafiniranja netipiziranog lambda računa. Suvremenije gledište smatra tipizirane lambda račune fundamentalnijom teorijom, i netipizirani lambda račun posebnim slučajem sa samo jednim tipom.