24th Estonian Winter School in Computer Science (EWSCS)
XXIV Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 3 - 8, 2019

Zena Ariola

Department of Computer & Information Science
University of Oregon
United States of America

Logic and computation


We present different formal reasoning systems: Hilbert axioms, natural deduction and sequent calculus. We show how each system entails a different programming language: combinatory logic, lambda-calculus and sequent calculus recast as a term calculus. The focus is on classical systems. This leads to programming languages with control operators. Proof transformations are shown to correspond to evaluation mechanisms and compilation techniques. Logic concepts of duality, focalization and polarization are shown to have a computational interpretation.

Course materials

Zena Ariola Receives 2018 SIGPLAN Distinguished Service Award

Valid CSS! Valid XHTML 1.0 Strict Last changed April 10, 2020 22:41 Europe/Helsinki (GMT +03:00) by local organizers, ewscs19(at)cs.ioc.ee
EWSCS'19 page: //cs.ioc.ee/ewscs/2019/