1. Adámek, J., & Rosický, J. (1994). Locally presentable and accessible categories, London Mathematical Society. Lecture Note Series 189.
2. Allwein, G. (2005). A qualitative framework for Shannon information theories. In Proceedings of the New Security Paradigms Workshop, 2004 (pp. 23–31). ACM Press.
3. Allwein, G., & Dunn, J. M. (1993). Kripke semantics for linear logic. Journal of Symbolic Logic, 58(2), 514–545.
4. Allwein, G., & Harrison, W. (2010). Partially-ordered Modalities. Proceedings of the Advances in Modal Logic Conference, 8, 1–21.
5. Allwein, G., Harrison, W., & Andrews, D. (2014). Simulation logic. Logic and Logical Philosophy, 23(3), 277–299.