Aleksy Schubert

Zastosowanie unifikacji do problemów wyprowadzania typów

Affiliation

Uniwersytet Warszawski

Field

mathematics

Awarding date

Feb. 22, 2001

Supervisor

• dr hab. Paweł Urzyczyn

Reviewers

• prof. dr hab. Andrzej Tarlecki
• prof. dr hab. Pawel Idziak (Uniwersytet Jagielloński w Krakowie)