Helle Hvid Hansen

Coalgebraic Methods in Computer Science

Logic, Language, and Computation