A-systems
Compositio Mathematica, Tome 33 (1976) no. 1, pp. 3-13. 
@article{CM_1976__33_1_3_0,
     author = {Gorton, R.},
     title = {$A$-systems},
     journal = {Compositio Mathematica},
     pages = {3--13},
     publisher = {Noordhoff International Publishing},
     volume = {33},
     number = {1},
     year = {1976},
     mrnumber = {435264},
     zbl = {0338.20091},
     language = {en},
     url = {http://archive.numdam.org/item/CM_1976__33_1_3_0/}
}
TY  - JOUR
AU  - Gorton, R.
TI  - $A$-systems
JO  - Compositio Mathematica
PY  - 1976
SP  - 3
EP  - 13
VL  - 33
IS  - 1
PB  - Noordhoff International Publishing
UR  - http://archive.numdam.org/item/CM_1976__33_1_3_0/
LA  - en
ID  - CM_1976__33_1_3_0
ER  - 
%0 Journal Article
%A Gorton, R.
%T $A$-systems
%J Compositio Mathematica
%D 1976
%P 3-13
%V 33
%N 1
%I Noordhoff International Publishing
%U http://archive.numdam.org/item/CM_1976__33_1_3_0/
%G en
%F CM_1976__33_1_3_0
Gorton, R. $A$-systems. Compositio Mathematica, Tome 33 (1976) no. 1, pp. 3-13. http://archive.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 | Zbl

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

[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 | Zbl

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

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

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

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

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

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

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

[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 | Zbl

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

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

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

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

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

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

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

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

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

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