Induction, coinduction and adjoints (2002)

by R Cockett, L Santocanale
Venue:Electronic Notes in Computer Science