Linear Logic and the Semantics of Concurrent Computation

Add to your list(s) Download to your calendar using vCal

• Alex Kavvos, University of Bristol
• Friday 18 November 2022, 14:00-15:00
• SS03.

If you have a question about this talk, please contact Jamie Vicary.

We survey work done in the last decade that establishes a Curry-Howard correspondence between Classical Linear Logic (CLL) and process calculi. We also notice its shortcomings, and sketch what can be done about them.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• SS03
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.