Michał Przybyłek

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

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

April 27, 2017

Supervisor

• prof. dr hab. Andrzej Tarlecki

Reviewers

• 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)