CCC : cartesian closed category (catégories cartésiennes fermées)

Advertisements