LSV Seminar
The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Past Seminars
Connecting degrees of parallelism and Boolean algebras through classical realizability
- Date
- Tuesday, December 04 2018 at 11:00AM
- Place
- Pavillon des Jardins
- Speaker
- Guillaume Geoffroy (AMU)
Denotational models of functionnal programming languages (such as PCF) may contain so-called non-sequential functions : functions which exist in the denotational model but do not correspond to any program. For example, Scott's model of continuous functions has parallel or, while Berry's stable model has Gustave's function. Using constructs which come from Krivine's classical relizability (notably the characteristic Boolean algebra Gimel 2), we show how these non-sequential functions and the question of their relative strength (in terms of their ability to emulate one-another) can be connected to the theory of Boolean algebras.