French Spring School in Theoretical Computer Science / École de Printemps d'Informatique Théorique

Collection French Spring School in Theoretical Computer Science / École de Printemps d'Informatique Théorique

Organizer(s) Baudart, Guillaume ; Pagani, Michele ; Petrisan, Daniela ; Tasson, Christine

Date(s) 11/05/2026 - 15/05/2026

linked URL https://conferences.cirm-math.fr/3489.html

00:00:00 / 00:00:00

1 5

Applicative bisimulation for higher-order probabilistic languages

By Raphaëlle Crubillé

We will recall the foundations of Abramsky's applicative bisimulation for the pure lambda-calculus, and present its generalisations to probabilistic lambda-calculi (for both discrete and continuous probabilities). We will conclude by some perspectives on how to make applicative bisimulation quantitative, leading to ideas of distances between programs.

Information about the video

Date of recording 11/05/2026
Date of publication 26/05/2026
Institution CIRM
Licence CC BY NC ND
Language English
Audience Researchers, Graduate Students
Director(s) Guillaume Hennenfent
Format MP4

Citation data

DOI 10.24350/CIRM.V.20480503
Cite this video Crubillé, Raphaëlle (11/05/2026). Applicative bisimulation for higher-order probabilistic languages. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.20480503
URL https://dx.doi.org/10.24350/CIRM.V.20480503

Domain(s)

MSC codes

Document(s)

https://www.cirm-math.fr/RepOrga/3489/Slides/epit_cours_1_crubille.pdf

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

All the collection videos

01:27:45

published on May 26, 2026

Applicative bisimulation for higher-order probabilistic languages

By Raphaëlle Crubillé

01:14:40

published on May 26, 2026

Expressive probabilistic programming : discrete-time stochastic processes

By Sam Staton

01:23:06

published on May 26, 2026

Introduction to probabilistic programming

By Christine Tasson

01:24:49

published on May 26, 2026

Algorithmic foundations for exact discrete probabilistic reasoning

By Steven Holtzen

01:26:21

published on May 26, 2026

Ensuring correctness of probabilistic inference by static analysis

By Xavier Rival

Copyright Carmin.tv 2026

Give feedback