18C50 Categorical semantics of formal languages

MSC > 18Cxx Categories and theories > 18C50 Categorical semantics of formal languages

Videos linked to 18C50 Categorical semantics of formal languages

01:26:21

published on May 26, 2026

Ensuring correctness of probabilistic inference by static analysis

By Xavier Rival

01:18:21

published on June 3, 2024

An introduction to Differential Linear Logic

By Marie Kerjean

01:07:14

published on December 3, 2015

Logic and topology

By Thierry Coquand

More +

Copyright Carmin.tv 2026

Give feedback