Logic and Continuations

Logic and Continuations

Seminar Room, Department of Mathematics

2025-01-14 - 14:30

2025-01-14 - 15:30

Date: January 14 (World Logic Day), 2025

Venue:  Room B4009 (seminar room), Departament of Mathematics

             Online: https://videoconf-colibri.zoom.us/j/93344876599?pwd=ejkrZ3FpYkh0NE1YV3NCdGFMOGw3QT09

Speaker: Filipa Mendes (CMAT)

Title: Logic and Continuations

Abstract: A “continuation” is the rest of a program. A control operator is an operator which handles explicitly the continuation. Continuation-passing-style is a style of programming. All these computational concepts have rich and surprising connections with logic, namely with principles of classical logic, with translations of classical logic into intuitionistic logic, and with translations between deductive systems. We will try to illustrate all this in friendly and pedagogical terms, to celebrate the World Logic Day.