A cartesian closed category of smooth mappings
smoothness of the differentiation process
scientific article; zbMATH DE number 3806269