I'm curious about Differentialdifferential Galois Theorytheory and I've noticed that everything I read covers only finite order operators (e.g. $L = Y^n + a_{n-1} Y^{n-1} + \dots + a_0 Y$). Has there been any work on using Differentialdifferential Galois Theorytheory to instead study infinite operators?