3 01 a functional programmer's guide to homotopy type theory
Published 7 years ago • 24K plays • Length 1:00:35Download video MP4
Download video MP3
Similar videos
-
7:47
homotopy type theory - an introduction to topology, formal logic, and hott #some3
-
55:03
icfp 2014: session "homotopy type theory"
-
11:51
最强llama3.1 405b开源大模型震撼发布！挑战claude3.5和gpt-4o！llama3.1 8b模型 graphrag搭建本地知识库！api调用和微调llama3.1 8b模型 #ai
-
17:46
propositions as types - computerphile
-
56:25
tangible functional programming
-
56:10
kuen-bang hou (favonia), towards efficient cubical type theory