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

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

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

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

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.

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

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.

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

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

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.

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.

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

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

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

Fillion, Nicolas 2024. Research in History and Philosophy of Mathematics. p. 1.