1. The Agda proof assistant (2008),
http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php
2. Asher, N.: A type driven theory of predication with complex types. Fundamenta Infor. 84(2) (2008)
3. Asher, N.: Lexical Meaning in Context: A Web of Words. Cambridge University Press (2011)
4. Asher, N., Pustejovsky, J.: Word meaning and commonsense metaphysics (2005)
5. Callaghan, P., Luo, Z.: An implementation of LF with coercive subtyping and universes. Journal of Automated Reasoning 27(1), 3–27 (2001)