Slawomir Kolasinski, 2006<br>
Algorytm Wajsberga--Ben-Yellesa dla intuicjonistycznej
logiki zdaniowej (<a href="sk-magisterka.pdf"">PDF</a>).<br>
(Praca wyrozniona w konkursie PTLiFN prac magisterskich z logiki)<br><p>

Dariusz Kusmierek,  2006<br>
Problem inhabitacji dla typow iloczynowych rangi drugiej
(<a href="mgr-dk">PDF</a>).<br>
(Praca przedstawiona na konferencji <a href="http://www.lsv.ens-cachan.fr/rdp07/tlca.html">Typed Lambda Calculi and Applications 2007</a>
w Paryzu.)<br><p>

Stanislaw Skowron,  2006<br> 
Syntaktyczne wlasnosci typow rekurencyjnych
(<a href="1000-MGR-INF-80120407293.pdf">PDF</a>).<br><p>

Mateusz Zakrzewski, 2007<br> 
Definiowalnosc funkcji w typach prostych
(<a href="1000-MGR-INF-2108.pdf">PDF</a>).<br><p>