Terminal sequences for accessible endofunctors, Coalgebraic Methods in Computer Science (1999)

by J Worrell
Venue:Electronic Notes in Theoretical Computer Science