2019-12-05: Radu Mardare (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Radu Mardare (MSP)

Boolean-valued semantics

Abstract

This talk is based on the paper with the same title that I have presented at LICS 2018. It is a joint work with Dana Scott, Dexter Kozen, Prakash Panangaden, Robert Furber and Giorgio Bacci. We extend Dana's Boolean-valued set theory (introduced in 50's to demonstrate the independence of the continuum hypothesis) to get, initially, a denotational model of untyped lambda calculus, and eventually extend it to a model of stochastic lambda calculus. The model is constructed over a space of random variables, which inherit a natural continuous Boolean algebra structure.

2019-12-05 13:30:00 UTC
LT1310