9:09TYPES2025 - 1.10. Ana Jorge Almeida - Expansion in a Calculus with Explicit SubstitutionsMSP — Strathclyde44 viewsView & Download
9:08Solved Recurrence - Iterative Substitution (Plug-and-chug) MethodJohn Bowers352.7K viewsView & Download
3:13Integral of (x-1)e^((x-1)^2) :: U Substitution :: Explicit SubstitutionJonathan Walters1.8K viewsView & Download
4:02Explicitly vs. Implicitly Defined Equations (Dr. April Ström)Online EdVantage28.2K viewsView & Download
1:54:10Type theory elaboration 8: comparison of De Bruijn, non-shadowing and fresh variable conventionsAndrás Kovács224 viewsView & Download
10:09Antidifferentiation by substitution | MIT 18.01SC Single Variable Calculus, Fall 2010MIT OpenCourseWare18.2K viewsView & Download
29:08Henry DeYoung and Klaas Pruiksma: Semi-Axiomatic Sequent Calculus (FSCD A)IJCAR-FSCD 2020153 viewsView & Download