Logic in Computer Science

Area > Computer Science > Logic in Computer Science

Videos linked to Logic in Computer Science

01:29:01

published on June 11, 2024

Differential categories

By Jean-Simon Lemay

01:32:11

published on June 11, 2024

Böhm trees and Taylor expansion

By Giulio Manzonetto

01:05:45

published on June 11, 2024

Differential categories from functor calculus

By Brenda Johnson

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

01:34:11

published on April 22, 2024

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

By Marie Kerjean

48:48

published on April 22, 2024

Complex analysis in Lean

By Vincent Beffara

01:01:09

published on April 22, 2024

Working with Mathlib

By Jireh Loreaux

More +

Copyright Carmin.tv 2024

Give feedback