1. Categorical structures for type theory in univalent foundations;Ahrens;Logical Methods in Computer Science,2018
2. Computational higher-dimensional type theory;Angiuli;SIGPLAN Not,2017
3. A cubical model of homotopy type theory;Awodey;Annals of Pure and Applied Logic,2018
4. White paper: The deep web: Surfacing hidden value;Bergman;The Journal of Electronic Publishing,2001
5. Bienvenue, E., Rogers, Z., Troath, S., 2018. Cognitive warfare URL: https://cove.army.gov.au/article/cognitive-warfare.