41:54Lambda Calculus Beep Boop | Einar Høst & Jonas Winje | Lambda Days 2022Code Sync650 viewsView & Download
44:28Lambda Calculus Beep Boop (Einar W. Høst and Jonas Winje)flatMap (Oslo)1.1K viewsView & Download
42:36Einar Høst, Jonas Winje - LogiKcal Lambda-Calculus (...) | Lambda Days 2019Code Sync214 viewsView & Download
45:28Practical Lambda Calculus - Jonas Winje, Einar Høst (Lambda Days 2017)Erlang Solutions1.7K viewsView & Download
3:03:36John Tromp: The Binary Lambda Calculus, The Smallest Program LanguageLispNYC4.2K viewsView & Download
41:20Jonas Winje and Einar Høst - Infinite Lambda Calculus - Code Mesh 2017Erlang Solutions336 viewsView & Download
1:11:55Bartosz Milewski - Truth about Types (Lambda Days 2016)Erlang Solutions20.4K viewsView & Download
