The 23rd International Workshop on Algebraic Development Techniques (WADT 2016) took take place in Gregynog, Wales, from 21st to 24th September, 2016. The workshop was organised by Markus Roggenbach and Phil James.
The 23rd International Workshop on Algebraic Development Techniques (WADT 2016) took take place in Gregynog, Wales, from 21st to 24th September, 2016. The workshop was organised by Markus Roggenbach and Phil James.