Restriction categories as enriched categ
β
Cockett, Robin; Garner, Richard
π
Article
π
2014
π
Elsevier Science
π
English
β 393 KB