“…Najvažnija osobina koju tipski sistemi sa presekom treba da zadovoljavaju, Karakterizacija jake normalizacije, je za sistem λ Gtz Likavec. Originalni doprinosi predstavljeni u Glavi 4 su ostvareni u saradnji sa José Espírito Santom, Silviom Gilezan i Silviom Likavec, i objavljeni u radovima [24,31,41,42,25]. U Glavi 5, osnovni predmet proučavanja je λ Gtz -račun (resource control lambda Gentzen calculus), intuicionistički sekventni formalni račun sa kontrolom resursa, tj.…”