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

Abstract

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.


Zena Ariola Receives 2018 SIGPLAN Distinguished Service Award

Valid CSS! Valid XHTML 1.0 Strict Last changed January 23, 2019 18:15 Europe/Helsinki (GMT +02:00) by local organizers, ewscs19(at)cs.ioc.ee
EWSCS'19 page: http://cs.ioc.ee/ewscs/2019/