TY  - RPRT
TI  - Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
AU  - Jean-Philippe Bernardy
AU  - Patrik Jansson
PY  - 2016
DO  - 10.2168/lmcs-12(2:6)2016
UR  - https://arxiv.org/abs/1601.07724
ID  - 1601.07724
ER  -