Michał Przybyłek

Analysis and construction of logical systems: a category-theoretic approach

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Data nadania

27 kwietnia 2017

Promotor

• prof. dr hab. Andrzej Tarlecki

Recenzenci

• dr hab. Marek Zawadowski (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
• prof. dr. Jaap van Oosten (Utrecht University)
• prof. dr. Bart Jacobs (Radboud University Nijmegen)