1. Agda. (2008). The Agda proof assistant (version 2). Available from the web page: http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php
2. Asher, N. (2012). Lexical meaning in context: a Web of Words. Cambridge University Press.
3. Bekki, D. (2014). Representing anaphora with dependent types. LACL 2014, LNCS 8535.
4. Bernardy, J.P. & Chatzikyriakidis, S. (2017). A type-theoretical system for the fracas test suite: Grammatical framework meets coq. In: IWCS 2017-12th International Conference on Computational Semantics-Long papers.
5. Boldini, P. (2000). Formalizing context in intuitionistic type theory. Fundamenta Informaticae, 42(2), 1–23.