4 жыл бұрын
5 жыл бұрын
6 жыл бұрын
6 жыл бұрын
Пікірлер
@TheNuogat 10 ай бұрын
Kæft en chef
@CardiganBear 10 ай бұрын
I've been looking for a video that explains this properly - and this one isn't it...
@OPT31 Жыл бұрын
yoo hans hüttel jeg er kæmpe fan
@SocalSamStokes Жыл бұрын
Haskell, haven't heard that name in decades...
@valentinussofa4135 2 жыл бұрын
Great lecture. Thanks Sir.🙏
@stephengibert4722 2 жыл бұрын
Great lecture: This is the ONLY exposition of lambda calculus syntax that I have seen that is actually CORRECT! Wonderful!
@sallo2718 2 жыл бұрын
4:13 Haha you won me over already
@mortenrock6873 2 жыл бұрын
Det er comedy ikke sandt ?
@hindosgottenberg237 3 жыл бұрын
Have watched a bunch of Lambda calculus videos now, and this one is by far the clearest :) thank you!
@max27955 3 жыл бұрын
thanks, helped me finally understand this
@noahsmaili8806 3 жыл бұрын
makrel i tomaten mangler sterkt på denne videoen!!!
@mindiff 3 жыл бұрын
Du giver den gas - fedt!
@henningjeppesen2896 3 жыл бұрын
Mit første cd møde med Love Shop :-)
@indernetcable2010 3 жыл бұрын
Hvor er det trist, det er brændt ned. Det var et yndet sted som "Abandoned places". Jeg nåede det dog aldrig.
@tranquil_cove4884 3 жыл бұрын
6:04
@jamesexton8054 4 жыл бұрын
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.
@jamesexton8054 4 жыл бұрын
Great video Hans, Would you be available for tutoring lessons?
@steffenlauge 4 жыл бұрын
Those are not there annymore - JBL no mate - ...
@ninjaweave8779 4 жыл бұрын
Great videos thanks very much, better than any of my actual lecturers. Just some small feedback for the future your 1s and 2s look very similar with the software you are using
@nicklasleo5796 4 жыл бұрын
Hvorfor fuck er du på KZbin
@hanshuttel 4 жыл бұрын
Hvorfor er du?
@nicklasleo5796 4 жыл бұрын
Fordi jeg er en ung dreng der vælger at bruge min tid på KZbin for underholdning. Igen hvorfor fuck er du på KZbin?
@hanshuttel 4 жыл бұрын
@@nicklasleo5796 Fordi jeg laver poetry slam. Du kan jo altid se noget andet i stedet.
@Blandina11 4 жыл бұрын
Ole Lund Christensen build the speakers christensen.audio/about-us/
@matthew2491 5 жыл бұрын
This is great :D
@danielpinto2939 5 жыл бұрын
write neater
@rossgeography 5 жыл бұрын
This quickly lost me - I found this lecture much better kzbin.info/www/bejne/aYe0ZGtohqxgr5Y
@markwilliamsphl 5 жыл бұрын
hi hans! what's the textbook you were referring to in the video?
@juanalfonsogarduno7631 5 жыл бұрын
No sé para qué pitos escribe si no se le entiende a su letra 😂, Ty! ❤️😘
@vikasamar 6 жыл бұрын
Great lectures! What is the text you mention at the start of the video?
@hansjacobfehrmannrojas3910 6 жыл бұрын
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
@augustalexander8179 7 жыл бұрын
Thank you as well.
@2011jiqbal 7 жыл бұрын
Thank you so much again for this awesome video. I am taking lambda calculus for the first time in school and this helped me a lot!
@2011jiqbal 7 жыл бұрын
thank you for taking the time to make these very informative videos!
@NizJazzBTC 7 жыл бұрын
Awesome. Thanks!
@hln8335 8 жыл бұрын
Hvorfor bliver du ved med at sige "for the time being", apocalypse soon?
@hanshuttel 8 жыл бұрын
+HLN Ikke-racister har det typisk sådan!
@hln8335 8 жыл бұрын
Hans Hüttel Haha, okay! :)
@SpecialArtie 2 жыл бұрын
Det simpelthen løgn, hvad laver du på denne tilfældige video haha
@anderskernboje9525 9 жыл бұрын
den er god
@Maskenken 11 жыл бұрын
Ser slik og spiser fjernsyn.. Klasse!
@Sotermanden 12 жыл бұрын
Godt stykke da jeg selv spiller med i det.