![]() |
![]() |
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 listsAnalysis Reading Seminar 2019/2020 Physics and Astronomy Colloquia Applied Topology ColloquiumOther talksSylow branching coefficients for symmetric groups Quantum simulations using ultra cold ytterbium TBC Geometry of alternating projections in metric spaces with bounded curvature Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems Ultrafast, all-optical, and highly efficient imaging of molecular chirality |