[PPT] - Graphs, Polymorphisms, and Multi-Sorted Structures Ross Willard PowerPoint Presentation