40:57NIPS 2011 Learning Semantics Workshop: Learning Dependency-Based Compositional SemanticsGoogle TechTalks3.5K viewsView & Download
52:57Towards a Compositional Typed Semantics using Universal DependenciesMicrosoft Research1.6K viewsView & Download
5:42Lambda Calculus for Dummies: Alpha Equivalence and Beta ReductionPhilomathia857 viewsView & Download
44:43UCL PPLV Research Seminar Part One: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience873 viewsView & Download