Senantics. Quantifier Raising with Lambda Calculus

We look at how to do quantifier raising (QR) using lambda calculus and type theory, heim & kratzer style.

Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates. If you have any questions, leave them below. I try to answer as many questions as possible.

[laughingman-hass]

Hello. I just want to say a big thank you for making these videos. I find your lectures much more useful then what is provided by my University. You are awesome!! Please know that you are making a big impact with these.

[abud]

Separate yourself from the rest, I feel like you're the best.

[seriousname-uhlq]

Hi, thanks for making great videos :)