Semantics: Lambda Calculus and Types

Поделиться
HTML-код
  • Опубликовано: 8 ноя 2024

Комментарии • 19

  • @oliviahanson1899
    @oliviahanson1899 8 месяцев назад +2

    Thank you so much for this video! My last semantics class was four years ago, and lambda calc was not well explained. I'm taking a formal semantics class this year, and was APPALLED to find out that lambda calc was making a comeback, because I'd never gotten it. This was such a clarifying watch! You explained all the basics of notation, which was something I'd really struggled to find resources on that were linguistics related, rather than CS or traditional calculus. Thanks extremely!

    • @Trevtutor
      @Trevtutor  8 месяцев назад +1

      You’re welcome! I made this because the linguistics lambda semantics scene on RUclips is like non-existent and I struggled so much when I first took it for the same reasons.

  • @danigeo83
    @danigeo83 Год назад +1

    Hey, I just wanted to reach out to you and say thank you for your Linear Algebra videos. I know “why am I do this here”…. Well I help an individual with special abilities and they are doing an online university linear algebra course so he will see my comment lol! I just wanted to say how absolutely grateful I am for your videos. They are helping him SO MUCH. I am just his hands and really suck at math (I’m by far his tutor) so seeing him struggle is hard to see because it’s just being taught by reading the text book. We found your videos when it seemed like he was going to give up…. Now… he is feeling more confident because of them. So…. Thank you…. So much. It makes me feel like he can do this course 💛💛

  • @ducvankhanhtran1472
    @ducvankhanhtran1472 Год назад +2

    Please make more videos on Lambda calculus! It really helps

  • @valentinussofa4135
    @valentinussofa4135 Год назад

    Wow, clear explaination. I love this lecture series. Thank you so much🙏

  • @shienchern7218
    @shienchern7218 Год назад +1

    Thank you so much for this! It's really well-explained!

  • @rafaelantoniogutierrezmart1499

    Hi. Very nice material!! Thank you!! I can't find the videos that are supposed to follow this one. Where are they? :(

  • @luluballoo
    @luluballoo Год назад +1

    It would be great to hear about event semantics next 🙃

  • @elamiri4961
    @elamiri4961 Год назад

    Brilliant timing! thanks a lot!

  • @fatherfingerify
    @fatherfingerify Год назад +1

    Hi, you said you were going upload more about this type theory and lambda calculus. Do I need to subscribe to access more on this?

    • @Trevtutor
      @Trevtutor  Год назад

      It’s in the works for the next couple months. I had a busy teaching semester so the series got put on hiatus.

  • @mmwwcaogen
    @mmwwcaogen Год назад

    我是顺着小红书过来的,博主太厉害了👍🏻

  • @jasminegold6890
    @jasminegold6890 Год назад

    Love this!

  • @daarkon
    @daarkon Год назад

    Thank you.

  • @thatomofolo452
    @thatomofolo452 Год назад

    Valid points 👍👍💯

  • @Tnr1233
    @Tnr1233 Месяц назад

    You said that object comes first in lambda notation but in 3:27 you wrote subject first. Why ?

  • @DadsCornerLew
    @DadsCornerLew Год назад +2

    Okay hear me out, this is definitely the same guy behind Casually Explained? Surely? Right?

  • @tanisha9069
    @tanisha9069 Год назад +2

    bro your voice is hot