Signin

Computer Science ∩ Mathematics (Type Theory) - Computerphile

Computerphile • September 20, 2017

Video Thumbnail

You May Also Like

Computerphile

About

No channel description available.

Latest Posts

Video Thumbnail

Generative AI's Greatest Flaw - Computerphile

Computerphile

Video Thumbnail

DeepSeek is a Game Changer for AI - Computerphile

Computerphile

Video Thumbnail

How AI 'Understands' Images (CLIP) - Computerphile

Computerphile

Video Thumbnail

Programming Loops vs Recursion - Computerphile

Computerphile