Coherence Spaces

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

• Logic & Semantics for Dummies
• Rainbow Room (FS07), Computer Laboratory
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.