Semantics: Lambda Calculus and Types

[@oliviahanson1899]

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]

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

[@danigeo83]

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]

Please make more videos on Lambda calculus! It really helps

[@valentinussofa4135]

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

[@shienchern7218]

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

[@Tnr1233]

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

[@maryboss187]

Omg thanks to your hot voice i was able to listen to the whole video without being distracted. Thank you for that hahaha

[@rafaelantoniogutierrezmart1499]

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

[@luluballoo]

It would be great to hear about event semantics next 🙃

[@elamiri4961]

Brilliant timing! thanks a lot!

[@fatherfingerify]

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]

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

[@jasminegold6890]

Love this!

[@mmwwcaogen]

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

[@daarkon]

Thank you.

[@thatomofolo452]

Valid points 👍👍💯

[@DadsCornerLew]

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

[@tanisha9069]

bro your voice is hot

[@Trevtutor]

👀 thaaaank you