そこまでいくと訳分からんな。
以下で i を int を返す関数(引数:なし)へのポインタとする
以下で f を void を返す関数(引数:int)へのポインタとする
以下で g を void を返す関数(引数:int)へのポインタを返す関数(引数:f)とする
宣言は、h は int へのポインタを返す関数(引数:i)へのポインタを返す関数(引数:g)である

まとめると、h は int へのポインタを返す関数(引数:int を返す関数(引数:なし)へのポインタ)へのポインタを返す
関数(引数:void を返す関数(引数:int)へのポインタを返す関数(引数:void を返す関数(引数:int)へのポインタ))である

であってる？