Łukasz Czajka

Semantic consistency proofs for systems of illative combinatory logic

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

June 18, 2015

Supervisor

• prof. dr hab. Paweł Urzyczyn (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)

Reviewers

• prof. dr hab. Marek Zaionc (Uniwersytet Jagielloński w Krakowie)
• prof. Herman Geuvers (Radboud University)

Documents

• Thesis