1. Foundational Theories of Classical and Constructive Mathematics, chap. From Sets to Types, to Categories, to Sets;Awodey,2011
2. Web and Semantic Web Query Languages: A Survey;Bailey,2005
3. The impact of the lambda calculus in logic and computer science;Barendregt;Bulletin of Symbolic Logic,1997
4. What’s in a concept: Structural foundations for semantic networks;Brachman;International Journal of Man-Machine Studies,1977
5. Brachman, R. J. (1979). On the epistemological status of semantic networks. In: N.V. Findler (ed.) Associative Networks, pp. 3–50. Academic Press (1979). doi: 10.1016/B978-0-12-256380-5.50007-4. http://www.sciencedirect.com/science/article/pii/B9780122563805500074.