Induction, Coinduction, and Adjoints (2002)

Cached

Download Links

by Robin Cockett , Luigi Santocanale
Citations:3 - 2 self