University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Linear Logic and the Semantics of Concurrent Computation

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Linear Logic and the Semantics of Concurrent Computation

Download to your calendar using vCal

  • UserAlex Kavvos, University of Bristol
  • ClockFriday 18 November 2022, 14:00-15:00
  • HouseSS03.

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:

Note that ex-directory lists are not shown.

Other lists

Department of Engineering - LT6 LT2, Department of Chemical Engineering and Biotechnology In person in the Max Perutz Lecture Theatre (CB2 0QH) and via Zoom, link: https://mrc-lmb-cam-ac-uk.zoom.us/j/94960208716?pwd=bVF4L1JVYnlnNkhIcXFmYld6TXo5QT09

Other talks

Dwarf Galaxies in the Local Universe title abstract tbc The spread of environmental cost-benefit analysis in UK government, c.1966-1995: representing the public in the Anthropocene Title TBC Title to be confirmed Tea and Coffee Break
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity