03B40 Combinatory logic and lambda-calculus

MSC > 03Bxx General logic > 03B40 Combinatory logic and lambda-calculus

Videos linked to 03B40 Combinatory logic and lambda-calculus

01:27:45

published on May 26, 2026

Applicative bisimulation for higher-order probabilistic languages

By Raphaëlle Crubillé

50:16

published on December 10, 2021

Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms

By Alexandros Singh

01:07:14

published on December 3, 2015

Logic and topology

By Thierry Coquand

More +

Copyright Carmin.tv 2026

Give feedback