Literature/ridge11parsing.pdf
2011-04-28 urbanc paper about formalising parsing; seems to have done what we would like to do....probably also appears at ITP'11
less more (0) tip