University of Birmingham > Talks@bham > Theoretical computer science seminar > A Sound and Complete Logic for Algebraic Effects

  Browse A-Z

Log in

System Admin (disabled)details Birmingham usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

A Sound and Complete Logic for Algebraic Effects

Add 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Analysis Reading Seminar 2019/2020 Physics and Astronomy Colloquia Applied Topology Colloquium

Other talks

Sylow 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
 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.