University of Birmingham > Talks@bham > Theoretical computer science seminar > Display Calculus for Bunched Logic

## Display Calculus for Bunched LogicAdd to your list(s) Download to your calendar using vCal - James Brotherston, Imperial College London
- Friday 24 September 2010, 14:00-15:00
- UG40 Computer Science.
If you have a question about this talk, please contact Paul Levy.
In this talk, we apply display calculus techniques to obtain a unified proof theory for all the principal varieties of bunched logic, and incidentally provide an explanation as to why well-behaved sequent calculi seem very unlikely to exist for most of these varieties. This talk is based upon a related paper by the speaker: James Brotherston. A unified display proof theory for bunched logic. In Proceedings of MFPS 2010 . Available from http://www.doc.ic.ac.uk/~jbrother/ This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Theoretical computer science seminar
- UG40 Computer Science
- computer sience
Note that ex-directory lists are not shown. |
## Other listsPostgraduate Seminars in the School of Computer Science Type the title of a new list here School of Mathematics events## Other talksWaveform modelling and the importance of multipole asymmetry in Gravitational Wave astronomy TBA Ultrafast Spectroscopy and Microscopy as probes of Energy Materials TBA Quantum Sensing in Space TBC |