Mathématiques
et Interactions
-
Les vidéos associées à 03B40 Combinatory logic and lambda-calculusVoir +
![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é
![Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms]()
50:16publiée le 10 décembre 2021Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms
De Alexandros Singh
