COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

## Coherence SpacesAdd to your list(s) Download to your calendar using vCal - Hugo Paquet (University of Cambridge)
- Friday 03 February 2017, 11:00-12:00
- Rainbow Room (FS07), Computer Laboratory.
If you have a question about this talk, please contact Ian Orton. Coherence spaces are a model of the lambda-calculus which was very influential, eventually leading to the discovery of linear logic. In this talk I will define the category of coherence spaces and stable functions between them, and show how it can be used to interpret e.g. PCF . In the process I will mention how it relates to the usual domain theory. Then I will talk about a special kind of stable functions between coherence spaces, the linear functions. Using these we can refine the category of coherence spaces and stable functions, to get one the first models of linear logic. If time permits, I’ll talk about a generalisation of coherence spaces to a model of probabilistic computation: these turn out to give a fully abstract model for Probabilistic PCF . This talk is part of the Logic & Semantics for Dummies series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsFERSA Guest Lectures Slavonic Studies Microsoft Research PhD Scholars SciBar Climate Science Seminars within Cambridge Mathematics and Machine Learning## Other talksPain and physiological processes in sixteenth-century medical texts from Mexico and Spain Roland the Hero A continuum theory for the fractures in brittle and ductile solids An exploration of grain growth & deformation in zirconium Streptococcus suis - managing a global zoonotic pathogen of pigs The Hopkins Lecture 2018 - mTOR and Lysosomes in Growth Control |