Structural Analysis of Narratives With the Coq Proof Assistant
(2011) : Bosser, Anne-Gwenn et al
DOI: https://doi.org/10.1007/978-3-642-22863-6_7
#narrative #structural_analysis #proof_assistant #idris #proof_theory #linear_logic #coq #my_bibtex