A-systems
Compositio Mathematica, Tome 33 (1976) no. 1, p. 3-13
@article{CM_1976__33_1_3_0,
     author = {Gorton, R.},
     title = {$A$-systems},
     journal = {Compositio Mathematica},
     publisher = {Noordhoff International Publishing},
     volume = {33},
     number = {1},
     year = {1976},
     pages = {3-13},
     zbl = {0338.20091},
     mrnumber = {435264},
     language = {en},
     url = {http://http://www.numdam.org/item/CM_1976__33_1_3_0}
}
Gorton, R. $A$-systems. Compositio Mathematica, Tome 33 (1976) no. 1, pp. 3-13. http://www.numdam.org/item/CM_1976__33_1_3_0/

[1] Clifford, A.H. and G.B. Preston: The algebraic theory of semigroups. I. Am. Math. Soc. Math. Surveys No. 7, Providence, 1961. | MR 132791 | Zbl 0111.03403

[2] Curry, H.B.: An analysis of logical substitution. Am. J. Math. 51 (1929) 363-384. | JFM 55.0033.01 | MR 1506723

[3] Curry, H.B. and R. Feys: Combinatory logic. Amsterdam 1958.

[4] Davis, A.S.: An axiomatization of the algebra of transformations over a set. Math. Ann. 164 (1966) 372-377. | MR 201362 | Zbl 0151.00702

[5] Gorton, R.: The algebra of atoms. Math. Jap. 17 (1972) 105-111. | MR 327961 | Zbl 0265.20060

[6] Johnson, H.H.: Realizations of abstract algebras of functions. Math. Ann. 142 (1961) 317-321. | MR 122901 | Zbl 0095.10102

[7] Mannos, M.: Ideals in tri-operational algebra. Reports Math. Coll., 2nd series, Notre Dame 7 (1946) 73-79. | MR 16746 | Zbl 0060.06612

[8] Menger, K.: Algebra of analysis. Notre Dame Math. Lect. 3 (1944). | MR 11280 | Zbl 0060.06606

[9] Menger, K.: Tri-operational algebra. Reports Math. Coll., 2nd series, Notre Dame 5-6 (1945) 3-10. | MR 11281 | Zbl 0060.06607

[10] Menger, K.: General algebra of analysis. Reports Math. Coll. 2nd series, Notre Dame 7 (1946) 46-60. | MR 16743 | Zbl 0060.06609

[11] Menger, K.: Calculus. A modern approach. Boston: Ginn 1955. | MR 72916 | Zbl 0065.03302

[12] Menger, K.: An axiomatic theory of functions and fluents. The axiomatic method. L. Henkin et al Eds., Amsterdam: North-Holland Publishing Co. (1959) 454-473. | MR 111678 | Zbl 0087.26802

[13] Menger, K.: Algebra of functions: past, present, future. Rend. Mat. Roma 20 (1961) 409-430. | MR 141618 | Zbl 0113.03904

[14] Menger, K.: Superassociative systems and logical functors. Math. Ann. 157 (1964) 278-295. | MR 177928 | Zbl 0126.03601

[15] Nöbauer, W.: Über die Operation des Einsetzens in Polynomringen. Math. Ann. 134 (1958) 248-259. | MR 98087 | Zbl 0083.03104

[16] Schönfinkel, M.: Über die Bausteine der mathematischen Logik, Math. Ann. 92 (1924) 305-316. | JFM 50.0023.01 | MR 1512218

[17] Schweizer, B. and A. Sklar: The algebra of functions. Math. Ann. 139 (1960) 366-382. | MR 114867 | Zbl 0095.10101

[18] Schweizer, B. and A. Sklar: The algebra of functions II. Math. Ann. 143 (1961) 440-447. | MR 124425 | Zbl 0099.31901

[19] Schweizer, B. and A. Sklar: A mapping algebra with infinitely many operations, Coll. Math. 9 (1962) 33-38. | MR 133275 | Zbl 0103.24903

[20] Schweizer, B. and A. Sklar: The algebra of functions III. Math. Ann. 161 (1965) 171-196. | MR 190254 | Zbl 0134.12602

[21] Schweizer, B. and A. Sklar: Function systems. Math. Ann. 172 (1967) 1-16. | MR 213273 | Zbl 0163.01403

[22] Whitlock, H.I.: A composition algebra for multiplace functions. Math. Ann. 157 (1964) 167-178. | MR 173647 | Zbl 0126.03501