[msp-interest] [MSP101] Vikraman Choudhury: Semantic Analysis of Polarisation (1pm Mon 24/11, LT310)

[Fiona Blackett]

Hello all,

Next Monday Vikraman will be giving our MSP101 talk, see below for details!

Cheers,
Fiona Blackett
----------------------------------------------------------------------------------------------

Date, time and place:
 Monday 24th November, 1:00 pm, Livingstone Tower room LT310

Speaker:
 Vikraman Choudhury (MSP)

Title:
  Semantic analysis of Polarization

Zoom Link:
  https://strath.zoom.us/j/82143788147?pwd=dMy8sftupiQ8eEiIqLzodkMra6RTfn.1
  Meeting ID: 821 4378 8147
  Password: whiteboard


Abstract:
  Polarization is a proof-theoretic technique used to study various kinds of logics with classical dualities. I will give a model-theoretic explanation of polarization in the context of classical logic and classical linear logic (Girard and Laurent). Finally, I will show a higher-dimensional generalisation of these ideas to generalised species.
----------------------------------------------------------------------------------------------


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.strath.ac.uk/archives/msp-interest/attachments/20251120/d1ee8917/attachment.html