This is excellent as I was looking for seminar lectures to go with pfpl book, the oplss full list has Category Theory intro too <a href="https://www.cs.uoregon.edu/research/summerschool/summer16/curriculum.php" rel="nofollow">https://www.cs.uoregon.edu/research/summerschool/summer16/cu...</a>
text he's referring to can be found at<p><a href="http://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf" rel="nofollow">http://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf</a>