University of Birmingham > Talks@bham > Theoretical computer science seminar > Linear Implicative Algebras, a Brouwer-Heyting-Kolmogorov interpretation of linear logic

## Linear Implicative Algebras, a Brouwer-Heyting-Kolmogorov interpretation of linear logicAdd to your list(s) Download to your calendar using vCal - Luc Pellissier, IRIF, Université Paris Diderot
- Friday 08 March 2019, 11:00-12:00
- Computer Science, The Sloman Lounge (UG).
If you have a question about this talk, please contact Noam Zeilberger. Implicative Algebras were recently introduced by Alexandre Miquel as a unified framework for forcing and realisability, whose particularity is to interpret terms and formulæ uniformly. In this ongoing work, we show how linear logic fits in this picture: we present a notion of model of intuitionistic linear logic in which sits both syntactic models and a localized phase semantics ; and show how to transform such a model into an algebra allowing to interpret faithfully all the connectives of classical linear logic. 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
- Computer Science, The Sloman Lounge (UG)
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsAnalysis seminar http://talks.bham.ac.uk/show/index/1942 EPS - College Research Teas## Other talksThe percolating cluster is invisible to image recognition with deep learning Signatures of structural criticality and universality in the cellular anatomy of the brain Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems [Friday seminar]: Irradiated brown dwarfs in the desert Many-body localization from Hilbert- and real-space points of view |