If you're interested in this idea where derivatives form one-hole contexts then you might also be interested in derivative parsers: http://matt.might.net/papers

If you're interested in this idea where derivatives form one-hole contexts then you might also be interested in derivative parsers: http://matt.might.net/papers/might2011derivatives.pdf http://matt.might.net/papers/might2011derivatives.pdf