The Lambda Calculus, part 1 1 Syntax and semantics

[@hindosgottenberg237]

Have watched a bunch of Lambda calculus videos now, and this one is by far the clearest :) thank you!

[@stephengibert4722]

Great lecture: This is the ONLY exposition of lambda calculus syntax that I have seen that is actually CORRECT! Wonderful!

[@vikasamar]

Great lectures! What is the text you mention at the start of the video?

[@augustalexander8179]

Thank you as well.

[@NizJazzBTC]

Awesome. Thanks!

[@hansjacobfehrmannrojas3910]

At 5:22, the polymorphic lambda calculus was invented first by the logician Girard at 1972 and latter, independenlty, by the computer scientist Reynolds at 1974

[@markwilliamsphl]

hi hans! what's the textbook you were referring to in the video?

[@jamesexton8054]

Great video Hans, Would you be available for tutoring lessons?

[@sallo2718]

4:13 Haha you won me over already

[@max27955]

thanks, helped me finally understand this

[@valentinussofa4135]

Great lecture. Thanks Sir.🙏

[@matthew2491]

This is great :D

[@SocalSamStokes]

Haskell, haven't heard that name in decades...

[@CardiganBear]

I've been looking for a video that explains this properly - and this one isn't it...

[@tranquil_cove4884]

6:04

[@jamesexton8054]

Great Video Hans, would you be interested in offering online lessons? I have an upcomming exam, and could do with your help. You will of course be paid.

[@juanalfonsogarduno7631]

No sé para qué pitos escribe si no se le entiende a su letra 😂, Ty! ❤️😘