Formalizaciones en Coq de mi tesis doctoral.
Franco M. Luque's Common Python Code for NLP
Implementation of the DMV+CCM Parser