Aleksy Schubert

Zastosowanie unifikacji do problemów wyprowadzania typów (Zastosowanie unifikacji do problemów wyprowadzania typów)

Afiliacja

Uniwersytet Warszawski

W zakresie

matematyki

Data nadania

22 lutego 2001

Promotor

• dr hab. Paweł Urzyczyn

Recenzenci

• prof. dr hab. Andrzej Tarlecki
• prof. dr hab. Pawel Idziak