Post

Not even a 1000 views.

"Type Theory in Computer Science, Linguistics, Logic"

https://www.youtube.com/watch?v=TrYosPPCQAY

I'm sure this is your type of video