![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > A Sound and Complete Logic for Algebraic Effects
A Sound and Complete Logic for Algebraic EffectsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Noam Zeilberger. I will talk about definitions of program equivalence, for a language with algebraic effects in the style of Plotkin and Power. Program equivalence is a long-standing problem in computer science, made more difficult by the presence of higher-order functions and algebraic effects. In this talk I will present a logic whose formulas represent properties of effectful programs. The satisfaction relation of the logic induces a notion of program equivalence. Notably, the induced equivalence coincides with contextual equivalence (which equates programs with the same observable behaviour) and also with an applicative bisimilarity. This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsdddd IRLab Seminars: Robotics, Computer Vision & AI PIPS - Postgraduate Informal Physics SeminarsOther talksTBA Counting cycles in planar graphs Wave turbulence in the Schrödinger-Helmholtz equation The tragic destiny of Mileva Marić Einstein Waveform modelling and the importance of multipole asymmetry in Gravitational Wave astronomy Quantum Sensing in Space |