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