Jonathan Sterling
Videos from Jonathan Sterling
Page 1 of 1 • 6 total videos
1:09
Jump-to-context in Forester
Jonathan Sterling
196 views
3:45
Contextualizing mathematical ideas using Forester
Jonathan Sterling
569 views
15:55
FSCD 2022: Sheaf semantics of termination-insensitive noninterference
Jonathan Sterling
217 views
50:44
First Steps in Synthetic Tait Computability: The Objective Metatheory of Cubical Type Theory
Jonathan Sterling
983 views
9:15
CT 20→21: Normalization for Cubical Type Theory
Jonathan Sterling
359 views
16:06
ML 2021: A metalanguage for multi-phase modularity
Jonathan Sterling
740 views