Mathématiques
et Interactions
-
Les vidéos associées à 68Q55 SemanticsVoir +
![Applicative bisimulation for higher-order probabilistic languages]()
01:27:45publiée le 26 mai 2026Applicative bisimulation for higher-order probabilistic languages
De Raphaëlle Crubillé
![An introduction to statistical modelling semantics with higher-order measure theory]()
01:27:38publiée le 21 février 2022An introduction to statistical modelling semantics with higher-order measure theory
De Ohad Kammar
![Differential linear logic extended to differential operators]()
24:39publiée le 14 février 2022Differential linear logic extended to differential operators
De Marie Kerjean
