John O'Donnell
Title: Equational Reasoning with Circuit Transformations in Hydra Speaker: John O'Donnell Abstract: TBA
