## A dual calculus for unconstrained strategiesAdd to your list(s) Download to your calendar using vCal - Alexis Goyet, PPS
- Thursday 25 April 2013, 16:00-17:00
- CS 217.
If you have a question about this talk, please contact Dan Ghica. The aim of the lambda lambda-bar calculus is to represent as faithfully as possible the structure of non-deterministic, non-innocent, non-visible strategies in game semantics. Non-innocent strategies have been shown to model functional languages extended with references. The typical approach is to model the purely functional fragment with innocent strategies, to which a “memory-cell” strategy is added. Instead, our starting point is a simple concrete syntax of finite strategies, which are inherently non-innocent. The resulting language is a dualization of the lambda calculus. A new binder, the lambda-bar, names arguments which have been passed to the environment (whereas the lambda names arguments which have been received). This makes explicit the act of answering a function call, and allows this answer to change over time, granting the power of effects. This talk is part of the Lab Lunch series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsBiosciences seminars Condensed Matter Group Meetings Midlands Logic Seminar## Other talksLarge Scale Photonic Structures with Overall Balance of Gain and Loss Sobolev Spaces On Lie Groups BSN Seminar: Design and Selection of Metalloenzymes and their Applications as Biocatalysts in Alternative Energies and as Biosensors in Environmental Monitoring, Medical Diagnostics and Imaging Adj' in Adj, Back to Beck Train Trajectory Optimization Methods for Energy-Efficient Railway Operations School Seminar: Gender Diversity & Inclusion at P&G: a perspective from the environment in industry |