23:55Backpropagation in the Simply Typed Lambda-calculus with Linear NegationACM SIGPLAN446 viewsView & Download
19:21[POPL'25] On Decidable and Undecidable Extensions of Simply Typed Lambda CalculusACM SIGPLAN89 viewsView & Download
33:17Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 6) - λC 2018LambdaConf186 viewsView & Download
22:55Lambda Calculus with Algebraic Simplification for Reduction Parallelization by Equational ReasoningACM SIGPLAN281 viewsView & Download
![[POPL'25] On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus — ACM SIGPLAN — lecture 6 simply typed lambda calculus YouTube to MP3 & MP4 download on TubeGalore](/api/image/rs31pyGsSjk/mqdefault)
