1. Weyl's predicative classical mathematics as a logic‐enriched type theory;Adams R.;ACM Transactions on Computational Logic (TOCL),2010
2. Agda(2008). The Agda proof assistant (version 2). [Online]. Available:http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php[accessed 24th June 2020].
3. Ahn R.(2001).Agents objects and events. PhD Thesis Eindhoven University of Technology Eindhoven.
4. Die syntaktische konnexitat;Ajdukiewicz K.;Studia philosophica,1935