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 Reading Seminar 2019/2020 Computer Science Lunch Time Talk Series Condensed Matter Physics Seminars## Other talksTBC Hidden Markov Model in Multiple Testing on Dependent Data The science of the large scale heliosphere and the missions that made it possible Advancing biomedical photoacoustic imaging using structured light and optical microresonators TBA Energy release and transport in solar eruptive events |