deletions | additions       diff --git a/tezisek.tex b/tezisek.tex  index a489c6e..8ec771d 100644  --- a/tezisek.tex  +++ b/tezisek.tex 
...
megoldással a gyakorlatban előforduló függvények típusaiban szereplő méretekre  csak elnagyol felső korlátot tud adni.  Más módszerek lehetnek pontosabbak, ezek általában valami szúk függvényosztályon   belül képesek csak a méretkorlátok megállapítására (ilyen jellemző függvényosztály   például a monoton vagy a lineáris függvények). Az általam adott megoldásban azonban   a függvények tetszőleges polinomok lehetnek.  Munkámban~\cite{lncs13,tfp2011} egy olyan kalkulust dolgoztam ki, amely lehetővé  teszi azt, hogy a listában található listák elemszámát kifejezzük, így az  altípusosság elhagyható, mégis a méretkódolt típusok tetszőleges mélységben 
...
rendelkezésre álló típusok alapján próbálja a névfeloldást elvégezni, a  sikeresen feloldott nevekkel bővítve a típusegyenlet-rendszert. Ily módon a  típuskikövetkeztetési és névfeloldási lépések egymás utáni ismétlésével a  feladat szétbontható. iteratívan megoldható.  A fenti algoritmus használatával definiáltam~\cite{macs2010} az F\#{} nyelv egy  tisztán funkcionális G$\flat$ résznyelvét.