Mathematics
and Interactions
-
Videos linked to 03B40 Combinatory logic and lambda-calculusMore +
![Applicative bisimulation for higher-order probabilistic languages]()
01:27:45published on May 26, 2026Applicative bisimulation for higher-order probabilistic languages
By Raphaëlle Crubillé
![Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms]()
50:16published on December 10, 2021Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms
By Alexandros Singh
