Login / Signup

Induction, Coinduction, and Adjoints.

J. Robin B. CockettLuigi Santocanale
Published in: CTCS (2002)
Keyphrases