![]() |
![]() |
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 listsMaterialWell EPS - College Research Teas Metallurgy & Materials – Tech Entrepreneurship Seminar SeriesOther talksPerfect matchings in random sparsifications of Dirac hypergraphs Ultrafast, all-optical, and highly efficient imaging of molecular chirality Sensing and metrology activities at NPL, India TBC Quantum simulations using ultra cold ytterbium Geometry of alternating projections in metric spaces with bounded curvature |