You are not logged in | Log in

Zastosowanie unifikacji do problemów wyprowadzania typów (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)