![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > A bridge between semirings
A bridge between semiringsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Paul Levy. The last 25 years have seen many typed languages that, like Bounded Linear Logic (Girard 1987), use a nontrivial decomposition of the linear logic exponential in order to impose or exhibit warranties on used resources. More recently, two articles (Ghica and Smith 2013, Brunel Gaboardi Mazza Zdancewic 2013) generalised this construction (firstly only non-dependent ones) by using an ordered semiring to design this typing system. The goal of this talk will be to study semantics (both categorical and concrete) of this language and the significance of these semirings. This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsBiosciences seminars dddd Particle Physics SeminarsOther talksHorizontal Mean Curvature Flow and stochastic optimal controls The tragic destiny of Mileva Marić Einstein TBA Life : it’s out there, but what and why ? Ultrafast Spectroscopy and Microscopy as probes of Energy Materials TBA |