![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > A Curry-Howard Correspondence for Event-Based Programming
A Curry-Howard Correspondence for Event-Based ProgrammingAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Paul Taylor. Event-driven programming is based on a natural abstraction: an event is a computation that can eventually return a value. This talk shows how to exploit the intuition relating events and time by drawing a Curry- Howard correspondence between a functional event-driven programming language and a linear-time temporal logic. In this logic, the eventually proposition ◇A describes the type of events, and Girard’s linear logic describes the effectful and concurrent nature of the programs. 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 listsPhysics and Astronomy Colloquia Analysis seminar Birmingham Popular Maths LecturesOther talksTBA Quantum Sensing in Space Counting cycles in planar graphs Wave turbulence in the Schrödinger-Helmholtz equation Ultrafast Spectroscopy and Microscopy as probes of Energy Materials An introduction to τ-exceptional sequences |