DSG seminar: Alasdair Hill – DSG POPL’18 reading group, 02.05.2018 by Rob Stewart • March 14, 2018 • DSG Research Seminars: Logic and Programming Languages Title and abstract TBD.