Workshop on Coalgebra, Horn Clause Logic Programming and Types

Edinburgh, UK, 28–29 November 2016

The workshop webpage has been moved to https://ff32.host.cs.st-andrews.ac.uk/coalpty16/