slides for talks that I gave at the logic & semantics seminar at Aarhus University. - View it on GitHub