Geodesic
Functional representation of preiterative/combinatory formalism
Mathematica slovaca, Tome 54 (2004) no. 4, pp. 327-335
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B40, 03C05, 08A02 
@article{MASLO_2004_54_4_a0,
     author = {Fleischer, Isidore},
     title = {Functional representation of preiterative/combinatory formalism},
     journal = {Mathematica slovaca},
     pages = {327--335},
     year = {2004},
     volume = {54},
     number = {4},
     mrnumber = {2102287},
     zbl = {1097.03012},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MASLO_2004_54_4_a0/}
}
TY  - JOUR
AU  - Fleischer, Isidore
TI  - Functional representation of preiterative/combinatory formalism
JO  - Mathematica slovaca
PY  - 2004
SP  - 327
EP  - 335
VL  - 54
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/MASLO_2004_54_4_a0/
LA  - en
ID  - MASLO_2004_54_4_a0
ER  - 
%0 Journal Article
%A Fleischer, Isidore
%T Functional representation of preiterative/combinatory formalism
%J Mathematica slovaca
%D 2004
%P 327-335
%V 54
%N 4
%U http://geodesic.mathdoc.fr/item/MASLO_2004_54_4_a0/
%G en
%F MASLO_2004_54_4_a0
Fleischer, Isidore. Functional representation of preiterative/combinatory formalism. Mathematica slovaca, Tome 54 (2004) no. 4, pp. 327-335. http://geodesic.mathdoc.fr/item/MASLO_2004_54_4_a0/

[1] CURRY H. B.-FEYS R.: Combinatory Logic. N. Holland, Amsterdam, 1968. | MR | Zbl

[2] DICKER R. M.: The substitutive law. Proc. London Math. Soc. 13 (1963), 493-510. | MR | Zbl

[3] FLEISCHER I.: Semigroup of not bijective finite selfmaps of an infinite set. Algebra Universalis 33 (1995), 186-190; Semigroup Forum 58 (1999), 468-470. | MR | Zbl

[4] HALMOS P. R.: Algebraic Logic. Chelsea Publ. Comp., New York, 1962. | MR | Zbl

[5] HINDLEY J. R.-SELDIN J.: Introduction to Combinators and X-Calculus. London Math. Soc. Stud. Texts 1, Cambridge Univ. Press, Cambridge, 1986. | MR

[6] HOWIE J. M.: An Introduction to Semigroup Theory. London Math. Soc. Monogr. 7, Academic Press, London-New York-San Francisco, 1976. | MR | Zbl

[7] JÓNSSON B.: Defining relations for full semigroups of finite transformations. Michigan Math. J. 9 (1962), 77-85. | MR | Zbl

[8] LAUSCH H.-NÖBAUER W.: Algebra of Polynomials. North-Holland Math. Library 5, North-Holland Publ. Comp./Amer. Elsevier Publ. Comp., Inc, Amsterdam-London/New York, 1973. | MR | Zbl

[9] MAĽCEV A. I.: Iterative Algebras and Posťs Varieties (Russian). [English translation in: The Metamathematics of Algebraic Systems. Collected papers: 1936-1967. Stud. Logic Found. Math. 66, North-Holland Publ. Comp., Amsterdam-London, 1971].

[10] MENGER K.: On substitutive algebra and its syntax. Z. Math. Logik Grundlag. Math. 10 (1964), 81-104. | MR | Zbl

[11] ROSENBERG I. G.: Maľcev algebras for universal algebra terms. In: Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings (C. H. Bergman et al., eds.), Lecture Notes in Comput. Sci. 425, Springer-Verlag, Berlin, 1990, pp. 195-208. | MR

[12] SCHÖNFINKEL M.: Bausteine der Mathematischen Logik. Math. Ann. 92 (1924), 305-316. [English translation in: HEIJENOORT, J. VAN: From Frege to Gödel. A Source Book in Mathematical Logic, 1879-1931, Harvard University Press, Cambridge, Mass., 1967]. | MR

[13] STENLUND S.: Combinators, X-Terms and Proof Theory. D. Reidel, Dordrecht, 1972.

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