Bibliographie commentée

Desclés, Jean-Pierre; Ginisti, Jean-Pierre

Mathématiques informatique et sciences humaines, Tome 103 (1988), pp. 93-109.

Ajdukiewicz, K., 1935, "Die syntaktishe Konnexität", Studia Philosophica, vol. 1, pp. 1-27, repris dans Polish Logic 1920-1939, sous le titre "Syntactic connexion", trad. de H. Weber, 1967, Oxford, Clarendon (S.McCalled.). | JFM

Bacon, J., "The completeness of a predicate-functor logic", The Journal of symbolic logic, vol.50, 4, pp.903-926. | MR | Zbl

Barendregt, H.P., 1981(1984, 20 ed), The Lambda Calculus, its Syntax and Semantics, North-Holland. | MR

Bunder, M.W., 1974, "Various systems of set theory based on combinatory logic ", Notre-Dame journal of formal logic, Université Notre-Dame, Indiana, 15,2, pp.192-206. | MR | Zbl

Bunder, M.W., 1974, "Propositional and predicate calculuses based on combinatory logic", ibid., pp.25-34. | MR | Zbl

Church, A., 1941, The Calculi of Lambda Conversion, Princeton Univ. Press. | JFM | MR | Zbl

Curry, H.B., 1951, "La théorie des combinateurs ; la logique combinatoire et les antinomies", Rendiconti di matemat. e delle sue applic., 10, pp.347-359, pp.360-370. | MR | Zbl

Curry, H.B., 1964, "The elimination of variables by regular combinators", in BUNGE, M., The critical approach to science and philos., London, Collier McMillan, pp.127-143.@ L'auteur répond à deux critiques (à vrai dire trop peu élaborées) adressées par Quine, 1960, p.346 note, aux opérateurs de Schönfinkel, à savoir de porter "sur eux-mêmes et les uns et les autres" (parce qu'ils conviennent à des objets quelconques), alors que ceux de Quine ne portent que sur des prédicats ; et de supposer "un univers abstrait équivalent à celui de la plus haute théorie des ensembles". Curry exprime son désaccord avec le second point en revendiquant la neutralité ontologique de la logique combinatoire : la possibilité, entre autres, d'appliquer x à y, objets quelconques, ne suppose pas d'engagement sur la nature de x et de y, mais il accorde qu'on peut toujours s'intéresser, comme le fait Quine, à un langage où l'application de x à y n'est définie que pour certaines sortes d'objets, par exemple comme chez Quine définie dans le seul cas où x est un opérateur et y un prédicat. Il entend montrer, toutefois, que "les transformations sur les prédicats f admises par Quine sont toutes des cas particuliers de transformations qui peuvent être accomplies par des combinateurs réguliers" (p.133), et cela bien que Quine ait, à son avis, restreint abusivement à 6 éléments les opérateurs qu'il prétend utiliser (les effets d'un opérateur sur un prédicat dépendant dans son langage formel, en toute rigueur, de l'arité du prédicat auquel il s'applique). Voir aussi Curry, Hindley, Seldin, 1972, pp.11-13.@

Curry, H.B., 1967, "Logic, Combinatory", The Encyclop. of Philos., 4, New York, pp.504-509. @ Introduction à la logique combinatoire et au calcul-λ .@

Curry, H.B., 1968, "Combinatory logic", in Contemporary philos., La Philosophie contemporaine, Firenze, La nuova Italiana editrice, pp.295-307.

Curry, H.B., Feys, R., 1958, Combinatory Logic, vol. I, North-Holland. | MR | Zbl

Curry, H.B., Hindley, J.R., Seldin, J.P., 1972, Combinatory Logic, vol. II, North-Holland. | Zbl

Descles, J.P., 1981, Opérateur lopération : méthodes intrinsèques en informatique fondamentale ; application aux bases de données et à la linguistique, thèse de doctorat d'état ès sciences, collection E.R.A. 642, Laboratoire de Linguistique Formelle, Univ. de Paris 7.

Descles, J.P., 1981, " De la notion d'opération à celle d'opérateur ou à la recherche de formalismes intrinsèques", Math. Sci. hum., 76, pp.5-32. | Numdam | MR | Zbl

Dopp, J., 1960, "Essai d'une présentation de la logique combinatoire", Logique et Analyse, pp.183-201. @ Epistémologie claire des objectifs et des méthodes de la logique combinatoire.@

Feys, R., 1946, "La technique de la logique combinatoire", Revue philosophique de Louvain, 44, pp.74-103, 237-270.

Feys, R., 1953, "Peano et Burali-Forti, précurseurs de la logique combinatoire ", Actes du XIe congrès international de philosophie, 5, pp.70-72. | MR | Zbl

Frege, G., 1893, Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet, Band I. Jena (1893) ; Band II. Jena (1903) ; Traduction en anglais par M. Furth: The Basic Laws of Arithmetic, exposition of the system, 1964, Univ.of California Press. | JFM

Frey, L., 1967, "Langages logiques et processus intellectuels", in Les modèles et la formalisation du comportement, colloques internationaux du CNRS, Paris, Ed. du CNRS, pp.327-345.

Fitch, F.B., 1952, Symbolic logic, an introduction. | MR | Zbl

Fitch, F.B., 1974, Elements of Combinatory Logic, Yale Univ. Press. | MR

Ginisti, J.P., 1988, "La logique combinatoire et ses applications, in Encyclopédie Philosophique, I, Paris, Presses Universitaires de France. | MR

Ginisti. J.P., "Calcul-lambda", Ibid., II, (à paraître).

Ginisti, J.P., "Calcul-lambda", Ibid., III, (à paraître).

Stenlund, S., 1971, Introd. to Comb. logic., Uppsala. Brèves notices bio-bibliographiques sur Curry, Feys, Fitch, Hindley, Seldin, Stenlund.@ | MR

Ginisti, J.P., La formation des notions en logique combinatoire, Publications de l'Université de Lodz (Pologne) ; Actes d'un colloque de 1988 sur la formation des notions de base en logique classique et non classique, (à paraître).

Grize, J.B., 1971, "Quelques problèmes logico-linguistiques", Math. et Sci. hum., 35, pp.43-50. | Numdam | Zbl

Grize, J.B., 1973, Logique moderne III, Paris, Mouton, Gauthier-Villars.

Grize, J.B., 1974 "Logique combinatoire", in Grande Encyclopédie Larousse, Vol. 12, (1974) 7239-7241. @ Introduction à la logique combinatoire comparable à GRIZE, 1973.@

Grunberg, T., 1983, "A tableau system of proof for predicate-functor logic with identity", The Journal of Symbolic Logic, vol. 48,1140-1144. | MR | Zbl

Heijenoort (Van), J., 1967, From Frege to Gôdel, A source Book in Mathematical Logic, 1879-1931, Harvard Univ. Press. | MR | Zbl

Hindley, J.R., Lercher, B., Seldin, J.P., 1972, Introduction to Combinatory Logic, Cambridge Univ. Press. | MR | Zbl

HINDLEY, J. R., SELDIN, J. P., To H. B. Curry, (Eds), 1980, Essays on Combinatory Logic, Lambda-Calculus and Formalism, Academic Press. | MR | Zbl

Hindley, J.R., Seldin, J.P., 1986, Introduction to Combinators and Lambda-Calculus, Cambridge Univ. Press. | MR

Kearns, J.T., 1969, "Combinatory logic with discriminators, The Journal of Symbolic Logic, Vol. 34, 4, 561-575. | MR | Zbl

Kearns, J.T., 1973, "The completeness of combinatory logic with discriminators ", Notre-Dame journal of formal logic, 14, 3, 323-333. | MR | Zbl

Kneale, W., Kneale, M., 1962, The Development of Logic, paperback,1984, Oxford, Clarendon. | MR

Knopfler, S., 1979, Linguistische und formallogische Untersuchung zur Prädicat-Funktor-Logik, polycopié, Sonderforschungsbereich 99 "Linguistik", Univ.deKonstanz.

Kuhn, S.T., 1983, "An axiomatization of predicate functor logic, Notre-Dame journal of formal logic, vol. 24,2. | MR | Zbl

Ladriere, J., 1961, "Expression de la récursion primitive dans le calcul lambda-K ", Logique et Analyse 4, 13-14, pp. 23-54.

Ladriere, J., 1963, "Le symbolisme comme domaine de l'opératoire", Cahiers Internationaux de Symbolisme, n°3, Havré-les-Mons, Belgique ; repris dans L'articulation du sens, discours scientifique et parole de la foi, 1970, Aubier Montaigne, Editions du Cerf, Delachaux&Niestlé, Desclée de Brouwer, pp. 51-72.

Ladriere, J., 1973, "L'explication en logique", in L. Apostel et alii, L'explication dans les sciences, Paris, Flammarion, chapitre II, pp. 19-56.

Lambek, J., 1980, "From lambda-calculus to cartesian closed categories", in Hindley et Seldin, 1980, pp. 375-402. | MR

Lambek, J., Scott, P.J., 1986, Introduction to higher order categorical logic, Cambridge Univ. Press. | MR | Zbl

Luschei, E.C., 1962, The logical systems of Lesniewski, North-Holland. | MR | Zbl

Mieville, D., 1984, Un développement des systèmes logiques de Stanislas Lesniewski. Protothétique- Ontologie-Méréologie, Beme, Peter Lang.

Neumann(Von), J., 1925, "An axiomatisation of set theory", Heijenoort, 1967, pp. 393-413.

Noah, A., 1980, "Predicate-functors and the limits of decidability in logic", Notre-Dame journal of formal logic, Vol. 21, 4, 701-707. | MR | Zbl

Quine, W.V., 1936, "Towards a calculus of concepts", The Journal of Symbolic Logic, Vol. 1, 2-25. | JFM | Zbl

Quine, W.V., 1936, "A reinterpretation of Schönfinkel's logical operators ", Bulletin American Mathematical Society, 42, 87-89. | JFM | Zbl

Quine, W.V., 1960, "Variables explained away", Proceedings of the american philosophical society, 104, 343-347, repris in Selected Logic Papers, New York, Random House, 1966, 227-235.

Quine, W.V., 1971, "Predicate-functor logic, Proceeddings of the Second Scandinavian Logic Symposium (J. Fenstad, Ed.), Amsterdam, North-Holland, pp. 309-316. | MR | Zbl

Quine, W.V., 1971, "Algebraic logic and predicate functors , in Logic and art : Essays in honor of Nelson Goodman (Richard Rudner and Israel Scheffler, Eds.), Indianapolis, Bobbs-Merrill, repris dans une version revue et augmentée in The way of paradox and other essays, Harvard University Press, 2ème éd.,1976, pp. 283-307. | MR

Quine, W.V., 1971, "Predicate-functor logic", Proceedings of the second scandinavian logic symposium, (J. Fenstad Ed.), Amsterdam, North-Holland, pp. 309-16. | MR | Zbl

Quine, W.V., 1971, "Algebraic logic and predicate functor", in Logic and art: essays in honnor of Nelson Goodman, (R. Rudner and 1. Scheffler, Ed.s), Indianapolis, Bobbs-Merrill, repris dans une version revue et augmentée in The ways ofparadox and other essays, Harvard Univ. Press, 2nd Ed.., 1976, pp. 283-307. | MR

Quine, W.V., 1981, "Predicate functors revisited", Journal of symbolic logic, vol. 46, 3, pp. 649-52. | MR | Zbl

Rosenbloom, P.C., 1950, The elements of mathematical logic, New York, Dover, chap. III, section 4. | MR | Zbl

Rosser, J.B., 1935, "A mathematical logic without variables" ; part I Annals of Maths. (2) 36, pp.127-50; part II Duke Math. J. 1, pp. 328-55. | JFM | MR | Zbl

Rosser, J.B., 1955, Deux esquisses de logique, (traduction de R. Martin), Paris, Louvain, Gauthier-Villars, Nauwelaerts. | MR | Zbl

Rosser, J.B., 1984, "Highlights of the history of the lambda-calculus", Annals Hist. Computing 6, pp. 337-49 | MR | Zbl

Schönfinkel, M., 1924, "Über die Bausteine der Mathematischen Logik", Math. Annalen 92, pp. 305-15; traduction en anglais in Heijenoort 1967: "On the building blocks of mathematical logic", pp.355-66. | JFM | MR

Scott, D.S., 1975, " Combinators and Classes" in Böhm, 1975, pp. 1-26. | MR | Zbl

Seldin, J.P., "Curry's program", in Hindley et Seldin, 1980, pp. 3-34. | MR

Smullyan, R., 1985, To Mock a Mockingbird and Others logic Puzzles, Including an amazing Adventure in Combinatory Logic, New York, Alfred A. Knopf.

Barbault, M.C., Descles, J.P., 1972, Transformations formelles et théories linguistiques, Documents du centre de linguistique quantitative, n° 11, Paris, Dunod. | MR | Zbl

Bar-Hillel, Y., 1953, " A quasi-arithmetical notation for syntactic description ", Language 29, pp. 47-58; traduit in Langages 9, 1968, pp. 9-22. | Zbl

Benthem (Van), J., 1988, " Thé Lambek Calculus", in Oehrle et alii, 1988, pp. 35-68.

Buszkowski, W., 1988, "Generative Power of Categorial Grammar", in Oehrle et alii, 1988, pp. 69-94. | MR

Casadio, C., 1988, "Semantic Categories and the Development of Categorial Grammars", in Oehrle, 1988, pp. 95-123.

Daladier, A., 1982, "Représentations applicatives d'énonçés", Actes de l'école d'été Linguistique et Informatique, M. Borillo Ed.., Toulouse, CNRS.

Descles, J.P., 1975, "Systèmes transformationnels de Z.H. Hanis : I. construction du noyau ; II éclatement du noyau", T-a-information,1 et 2.

Descles, J.P., 1984, "Langages quasi-naturels : opérations de prédication et de thématisation" Actes du colloque Communication parlée : Dialogue Homme-Machine à composante orale, GRECO n°39, Nancy.

Descles, J.P., 1985, Représentation des connaissances : archétypes cognitifs, schèmes conceptuels, schémas grammaticaux, Actes Sémiotiques - Documents, VII, CNRS, 69-70.

Descles, J.P., 1986, "Implication entre concepts : la notion de typicalité ", Travaux de Linguistique et de Littérature, XXIV,1, pp.179-202.

Descles, J.P., 1987, "Réseaux sémantiques : la nature logique et linguistique des relateurs", Langages, n°87, pp. 55-78.

Descles, J.P., 1987, "La paraphrase n'est pas une relation d'équivalence mais une relation asymétrique", L'ambiguïté et la Paraphrase, Opérations linguistiques, processus cognitifs, traitements automatisés, (Ed.. C. Fuchs), Caen, Centre de publications Univ. de Caen, pp. 205-09.

Descles, J.P., Guentcheva, Z., 1988, "Semantics in natural languages and Combinatory Logic ", Symposium : Models of Meaning, Varna, Bulgarie, septembre 1988, 15 p..

Descles, J.P., Guentcheva, Z., Shaumyan S.K., 1985, Passivization in Applicative Grammar, Pragmatics & Beyond VI : 1, John Benjamins.

Descles, J.P., Guentcheva, Z., Shaumyan, S.K., 1985, " A theoritical Analysis of reflivization in the framework of applicative grammar", Linguisticae Investigationes, 2.

Descles, J.P., Shaumyan, S.K., 1988, Langages applicatifs, langues naturelles et cognition, Paris, Hermès.

Gardies, J.L., 1975, Esquisse d'une grammaire pure, Paris, Vrin.

Gladkij, A.V., Mel'Cuck, I.A., 1969, Elementy Matematiceskoj Lingvistiki, Moscou, Nauka; traduction en français : Eléments de linguistique mahématique, 1972, Paris, Dunod.

Guentcheva-Descles, Z., 1976, Présentation critique du modèle applicationnel de S. K. Saumjan, Documents du centre de Linguistique quantitative n°30, Paris, Dunod.

Halle, M., Bresnan, J., Miller, G.A., 1978, Linguistic Theory and Psycholological Reality, The Massachussetts Institute of Technology, Cambridge (Mass), MIT Press, 1981.

Harris, Z., 1968, Mathematical Structures of Language, Interscience Publishers ; traduit en français (par C. Fuchs), Structures mathématiques du langage, 1971, Paris, Dunod. | MR | Zbl

Harris, Z., 1976, Notes du cours de syntaxe, Paris, Seuil.

Harris, Z., 1982, A Grammar of English on Mathematical Principles, New York, John Wiley.

JAKOBSON, R., (Ed..), 1961, (2° édition: 1964), Proceedings of Symposia in Applied Mathematics, Structure of Language and its mathematical Aspects, volume XII, American Mathematical Society. | MR | Zbl

Lambek, J., 1958, "The Mathematics of Sentence Structure", American Mathematical Monthly, 65, pp. 154-165. | MR | Zbl

Lambek, J., 1988, "Categorial and Categorical grammars", in Oehrle et alii, 1988, pp. 297-317.

L'Hermitte, R., 1974, "S. K. Saumjan et la linguistique soviétique", Langages, n°33, pp. 3-14.

Miller, G.A., 1978, " Semantic Relations among Words" in HALLE et alii, 1978, pp. 60-118.

Oehrle, R.T., Bach, E., Wheeler, D., 1988, Categorical Grammars and Natural Languages Structures, D. Reidel.

Pierault-Le Bonniec, G., Van Meter, K., 1976, Etude génétique de la construction d'une propriété relationnelle : la relation de passage, Monographies françaises de psychologie, n° 35, Paris, Ed. du CNRS.

Shaumyan(Saumjan), S.K., 1965, Structurnaja linguistica, Moskva, Nauka, traduit en anglais en 1971, Principles of Structural linguistics,The Hague, Mouton. | MR

Shaumyan(Saumjan), S.K., 1972, Filosofskie problemy teoreticeskoj lingvistiki, (Les problèmes philosophiques de la linguistique théorique), Moskva, Nauka.

Shaumyan, S.K., 1977, Applicationnal Grammar as a semantic theory of natural language, Chicago Univ.Press, Edimburgh Univ. Press.

Shaumyan, S.K., 1982, "The goals of linguistic theory and applicative grammar " , Math. Sci. hum., n° 77, pp. 7-42. | Numdam

Shaumyan, S.K., 1986, A Semiotic Theory of Natural Language, Bloomington, Indiana Univ. Press.

Steedman, M., 1988, "Combinators and Grammars", in Ochrle et alii, 1988, pp. 417-442.

Wlodarczyk, H., 1974, "La Grammaire Applicative de S. K. Saumjan", Langages, n°33, pp. 15-64.

Abelson, H., Sussman, G.J., Sussman, J., 1985, Structure and Interpretation of Computer Programs, The MIT Press. | Zbl

Backus, J.W., 1978, "Can Programming be liberated from the von Neumann Style? A Functional Style and its Algebra of Programs", Communications of the ACM, vol 21, pp.613-641. | MR | Zbl

BÖHM, C., (Ed..), 1975, Lambda -calculus and computer science theory, LNCS. | MR

Brainerd, W.S., Landweber, L.H., 1974, Theory of Computation, New York, John Wiley. | MR | Zbl

Burge, W.H., 1975, Recursive Programming Techniques, Addisson-Wesley. | Zbl

Darlington, J., Henderson, P., Turner, D.A., 1982, Functional Programming and its Applications, Cambridge Univ. Press. | Zbl

Degroot, D., Lindstrom, G., 1986, Logic Programming, Functions, Relations and Equations, Prentice-Hall. | Zbl

Glasser, H., Hanking, Ch., Till, D., 1984, Principles of Functional Programming, Prentice Hall International. | MR | Zbl

Gordon, M. J .C., 1979, The Denatotional Description of Programming Languages, Springer Verlag. | Zbl

Henderson, P., 1980, Functional Programming : Application and Implementation, Prentice-Hall International. | Zbl

Kantor, R., Sontacchi, G., " Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs" RAIRO, informatique théorique, vol 19, n°1, 1985, pp.33-41. | Numdam | MR

Manna, Z., 1974, Mathematical Theory of Computation, McGraw-Hill. @ Un "classique".@ | MR | Zbl

Robinet, B., 1979, "Types et fonctionnalité", in Robinet, 1979, pp. 303-325.

ROBINET, B.,(Ed..), 1979, Actes de la sixième Ecole de printemps d'Informatique théorique, Publ. L.I.T..P, Univ. Paris 7.

Robinet, B., 1980, "Les langages de Backus sont des systèmes de manipulation d'arbres", 5ème Colloque sur les arbres en algèbre et en programmation (C.L.AA.P.), Lille, pp.83-94. | MR | Zbl

Stoy, J.E., 1977, Denotational Semantics : The Scott-Strachey Approach to Programming Languages Theory, MIT Press. | MR

Tennent, R.D., 1981, Principles of Programming Languages, Prentice-Hall International. | Zbl

Trelaven, Ph C., Brownbridge, D.R., Hopkins, R., 1982, " Data-Driven and Demand-Driven Computer Architecture ", ACM, Computing Surveys, Vol. 14, n° 1, pp. 93-143.