Stratifications and complexity in linear logicDaniel Murfet (University of Melbourne)
March 4, 2016, 6:00am - 8:00am
Logic Group, The University of Melbourne
G14
Old Quad
Parkville 3010
Australia
Organisers:
Shawn Standefer
University of Melbourne
Topic areas
Details
Daniel Murfet (University of Melbourne) will give a talk titled "Stratifications and complexity in linear logic".
Registration
No
Who is attending?
No one has said they will attend yet.
Will you attend this event?