152 followers
Structural Analysis of Narratives With the Coq Proof Assistant (2011) : Anne-Gwenn Bosser and Pierre Courtieu and Julien Forest and Marc Cavazza DOI: https://t.co/9C5jnwg3Zf #coq #idris #linear_logic #narrative #proof_assistant #p #my_bibtex