Jonathan Sterling
Videos from Jonathan Sterling
Page 1 of 1 • 6 total videos
1:09
Enhanced Jump-to-Context Feature in Forester for Better Mathematical Note Navigation 📘
Jonathan Sterling
196 views
3:45
Discover How Forester Transforms Mathematical Thinking 🌱
Jonathan Sterling
569 views
15:55
FSCD 2022: Innovative Sheaf Semantics for Secure Information Flow 🔒
Jonathan Sterling
217 views
50:44
Exploring Synthetic Tait Computability: Foundations of Cubical Type Theory 🧩
Jonathan Sterling
983 views
9:15
Mastering Normalization in Cubical Type Theory (CT 20→21) 📚
Jonathan Sterling
359 views
16:06
ML 2021: Unlocking Multi-Phase Modularity with a Powerful Metalanguage 🔧
Jonathan Sterling
740 views