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

 Guillaume Geoffroy
Tuesday, December 04 2018 at 11:00AM
Pavillon des Jardins
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.

About LSV