Iz definicije netipiziranog lambda-računa slijede neintuitivne pojave poput samoaplikacije, beskonačnih redukcija i proizvoljnih fiksnih točaka. Ovaj rad prikazuje rješenje tih problema pomoću jednostavnih tipova. Na početku uvodimo pojam jednostavnog tipa te pravila izvoda jednostavno tipiziranog lambda-računa, nakon čega govorimo o formalnim problemima koji se javljaju u teoriji tipova. Zatim prikazujemo dokaz teorema o postojanju normalnih formi, iz čega slijede teoremi o jakoj normalizaciji, nepostojanju kombinatora fiksne točke i konfluentnosti. Spominjemo i neka proširenja jednostavno tipiziranog lambda-računa, odnosno jače tipske sustave.