Łukasz Czajka

Semantic consistency proofs for systems of illative combinatory logic (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