Thin Coalgebraic Behaviours Are Inductive.

Anton Chernev, Corina Crstea, Helle Hvid Hansen, Clemens Kupke

Browse the full LICS paper archive.