Invited

Deriving Selective Opacity via Path-based Locality

SpeakerMcFadden, Thomas & Sandhya Sundaresan
WorkshopSyntax mini-course
Date 22.11.2019
VenueUniversity of Cambridge