No. 27 (2001): RS-27 A Higher-Order Calculus for Categories

Published: 2001-07-27

Articles