03B70 Logic in computer science

MSC > 03Bxx General logic > 03B70 Logic in computer science

Videos linked to 03B70 Logic in computer science

57:42

published on June 3, 2024

Weighted relational models

By Guy McCusker

01:18:21

published on June 3, 2024

An introduction to Differential Linear Logic

By Marie Kerjean

46:40

published on May 15, 2023

From axioms to synthetic inference rules via focusing

By Dale Miller

49:42

published on February 21, 2022

A geometric theory of algorithms

By Thomas Seiller

01:44:57

published on February 14, 2022

Deux ou trois choses que je sais d'elle : la logique

By Jean-Yves Girard

28:43

published on February 14, 2022

Focused proof systems

By Dale Miller

24:39

published on February 14, 2022

Differential linear logic extended to differential operators

By Marie Kerjean

01:00:52

published on November 26, 2021

Fixpoint games

By Barbara König

More +

Copyright Carmin.tv 2025

Give feedback