Hazewinkel, M. 1990. Encyclopaedia of Mathematics. p. 1.

Schuman, S. A. Pitt, D. H. and Byers, P. J. 1990. Specification and Verification of Concurrent Systems. p. 21.

Oehrle, Richard T. 1994. Term-labeled categorial type systems. Linguistics and Philosophy, Vol. 17, Issue. 6, p. 633.

1994. Fundamental Structures of Algebra and Discrete Mathematics. p. 1.

Marquis, Jean-Pierre 1995. Category theory and the foundations of mathematics: Philosophical excavations. Synthese, Vol. 103, Issue. 3, p. 421.

Barendregt, H. P. Dolgachev, I. V. Rozenberg, G. Salomaa, A. Soldatov, A. P. Leont’ev, A. F. Emel’yanov, V. F. Egorov, I. P. Rozov, N. Kh. Rumyantsev, V. V. Vapnyarskiĭ, I. B. Kudryavtsev, L. D. Samarin, M. K. Proskuryakov, I. V. Millionshchikov, V. M. Vil’yams, N. N. Stepanov, S. A. Voronin, S. M. Volovich, I. V. Anosov, D. V. Sokolov, D. D. Suetin, P. K. Brychkov, Yu. A. Prudnikov, A. P. Ivanov, A. B. Voĭtsekhovskiĭ, M. I. Bityutskov, V. I. Chuyanov, V. A. Kuz’mina, G. V. Maassen, H. Solomentsev, E. D. Shikin, E. V. Prokhorov, A. V. D’yakonov, E. G. Fedoryuk, M. V. Shubin, M. A. Bazylev, V. T. Zhavrid, N. S. Okhrimenko, V. V. Davydov, Yu. M. Bredikhin, B. M. Parail, V. V. Danilov, V. I. Mikheev, V. M. Skornyakov, L. A. Ushakov, N. G. Kopytov, V. M. Fofanova, T. S. Zorich, V. A. Popov, V. L. Prohorov, Yu. V. Plisko, V. E. Petrov, V. V. Nechaev, V. I. Bukhshtab, A. A. Nikulin, M. S. Bol’shev, L. N. Oskolkov, K. I. Golubov, B. I. Sazonov, V. V. Aleksandrov, P. S. Kashin, B. S. Vinogradova, I. A. Pasynkov, B. A. Volkov, I. I. Lukashenko, T. P. Gruber, P. M. Rudyak, Yu. B. Iskovskikh, V. A. Nesterenko, Yu. V. Tikhomirov, V. M. Mityuk, I. P. Chernavskiĭ, A. V. Ponomarev, D. A. Goluzina, E. G. Lumiste, Ü. Shtern, A. I. Onishchik, A. L. Rogozin, B. A. Ostrovskiĭ, I. V. Zolotarev, V. M. Myung, H. C. Bakhturin, Yu. A. Vinberg, E. B. Kirillov, A. A. Gorbatsevich, V. V. Alekseevskiĭ, D. V. Platonov, V. P. Kostrikin, A. I. Fedenko, A. S. Vaĭnberg, B. R. Cherkas, L. A. Prokhorov, Yu. V. Galochkin, A. I. Parkhomenko, A. S. Voevodin, V. V. Shapkin, A. F. Kreĭn, S. G. Palamodov, V. P. Aĭvazyan, S. A. Khelemskiĭ, A. Ya. Nakhushev, A. M. Ivanova, O. A. Chernikov, S. N. Ladis, N. N. Karmanov, V. G. Yakubovich, V. A. Arnautov, V. I. Rozanov, Yu. A. Malyshev, A. V. Kvasnikov, I. A. Lavrik, A. F. Kotov, S. V. Sabitov, I. Kh. Efimov, A. V. Ershov, A. P. Farber, M. Sh. Laptev, B. L. Ikramov, Kh. D. Sidorov, L. A. Mysovskikh, I. P. Koreneĭchuk, N. P. Motornyĭ, V. P. Mal’tsev, A. A. Sklyarenko, E. G. Kuz’min, L. V. Johnstone, P. T. Dezin, A. A. Tsalenko, M. Sh. Untern, A. I. Latyshev, V. N. Arkhangel’skiĭ, A. V. Shmel’kin, A. L. Shevrin, L. N. Bogatyĭ, S. A. Maslov, S. Yu. Mints, G. E. Orlov, A. I. Belousov, V. D. Kharshiladze, A. F. Gutlyanskiĭ, V. Ya. Semenov, E. M. Konyushkov, A. A. Efimov, B. A. Khas’minskiĭ, R. Z. Nagornyĭ, N. M. Fedorchuk, V. V. and Khvedelidze, B. V. 1995. Encyclopaedia of Mathematics. p. 443.

Slind, Konrad 1996. Theorem Proving in Higher Order Logics. Vol. 1125, Issue. , p. 381.

Harrison, John 1998. Theorem Proving in Higher Order Logics. Vol. 1479, Issue. , p. 153.

Smyth, Michael B. and Tsaur, Rueiher 2003. AFPP vs FPP. Applied Categorical Structures, Vol. 11, Issue. 1, p. 95.

Hrushovski, Ehud and Kazhdan, David 2006. Algebraic Geometry and Number Theory. Vol. 253, Issue. , p. 261.

Stapleton, Gem and Delaney, Aidan 2008. Evaluating and generalizing constraint diagrams. Journal of Visual Languages & Computing, Vol. 19, Issue. 4, p. 499.

Aransay, Jesús Ballarin, Clemens and Rubio, Julio 2008. A Mechanized Proof of the Basic Perturbation Lemma. Journal of Automated Reasoning, Vol. 40, Issue. 4, p. 271.

Belo, João Filipe 2008. Types for Proofs and Programs. Vol. 4941, Issue. , p. 33.

Stapleton, Gem Taylor, John Thompson, Simon and Howse, John 2009. The expressiveness of spider diagrams augmented with constants. Journal of Visual Languages & Computing, Vol. 20, Issue. 1, p. 30.

Gabbay, Murdoch J. 2011. Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax. The Bulletin of Symbolic Logic, Vol. 17, Issue. 2, p. 161.

Liberti, Leo and Marinelli, Fabrizio 2014. Mathematical programming: Turing completeness and applications to software analysis. Journal of Combinatorial Optimization, Vol. 28, Issue. 1, p. 82.

Shepperson, Leigh and Strickland, Neil 2014. Large self-injective rings and the generating hypothesis. Algebra & Number Theory, Vol. 8, Issue. 2, p. 257.

Moss, Sean 2020. Another approach to the Kan–Quillen model structure. Journal of Homotopy and Related Structures, Vol. 15, Issue. 1, p. 143.

Gabbay, Murdoch 2020. Equivariant ZFA and the foundations of nominal techniques. Journal of Logic and Computation, Vol. 30, Issue. 2, p. 525.

Wrigley, Wesley 2022. Gödelian platonism and mathematical intuition. European Journal of Philosophy, Vol. 30, Issue. 2, p. 578.