1. Aczel, P. (1978). The type theoretic interpretation of constructive set theory. In A. Macintyre, L. Pacholski, & J. Paris (Eds.), Logic colloquium 77 (pp. 55–66). Amsterdam: North-Holland.
2. Artemov, S., & Fitting, M. (2016). Justification logic. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy. Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/archives/win2016/entries/logic-justification/
3. Aspinall, D., & Hofmann, M. (2005). Dependent types. In B. C. Pierce (Ed.), Advanced topics in types and programming languages (pp. 45–86). Cambridge: MIT Press.
4. Barnes, J. (2003). Porphyry. Introduction. Translated with an introduction and commentary. Oxford: Oxford University Press.
5. Bishop, E. (1967). Foundations of constructive analysis. New York: McGraw-Hill.