Bibliographie commentée

 Access to full text

 Full (PDF)

1. 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.). JFM62.1050.03
2. Bacon, J., "The completeness of a predicate-functor logic", The Journal of symbolic logic, vol.50, 4, pp.903-926. Zbl0587.03003MR820122
3. Barendregt, H.P., 1981(1984, 20 ed), The Lambda Calculus, its Syntax and Semantics, North-Holland. Zbl0467.03010MR774952
4. 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. Zbl0275.02028MR344079
5. Bunder, M.W., 1974, "Propositional and predicate calculuses based on combinatory logic", ibid., pp.25-34. Zbl0272.02045MR344078
6. Church, A., 1941, The Calculi of Lambda Conversion, Princeton Univ. Press. Zbl0026.24205MR5274JFM67.0041.01
7. 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. Zbl0044.25101MR48372
8. 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.@ 
9. Curry, H.B., 1967, "Logic, Combinatory", The Encyclop. of Philos., 4, New York, pp.504-509. @ Introduction à la logique combinatoire et au calcul-λ .@ 
10. Curry, H.B., 1968, "Combinatory logic", in Contemporary philos., La Philosophie contemporaine, Firenze, La nuova Italiana editrice, pp.295-307. Zbl0197.00601
11. Curry, H.B., Feys, R., 1958, Combinatory Logic, vol. I, North-Holland. Zbl0081.24104MR94298
12. Curry, H.B., Hindley, J.R., Seldin, J.P., 1972, Combinatory Logic, vol. II, North-Holland. Zbl0242.02029
13. 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 Paris7. 
14. 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. Zbl0508.03007MR674266
15. 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.@ 
16. Feys, R., 1946, "La technique de la logique combinatoire", Revue philosophique de Louvain, 44, pp.74-103, 237-270. 
17. 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. Zbl0053.00106MR56532
18. 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. JFM25.0101.02
19. 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. 
20. Fitch, F.B., 1952, Symbolic logic, an introduction. Zbl0049.00504MR59859
21. Fitch, F.B., 1974, Elements of Combinatory Logic, Yale Univ. Press. MR414326
22. Ginisti, J.P., 1988, "La logique combinatoire et ses applications, in Encyclopédie Philosophique, I, Paris, Presses Universitaires de France. Zbl0663.03005MR1438784
23. Ginisti. J.P., "Calcul-lambda", Ibid., II, (à paraître). 
24. Ginisti, J.P., "Calcul-lambda", Ibid., III, (à paraître). 
25. Stenlund, S., 1971, Introd. to Comb. logic., Uppsala. Brèves notices bio-bibliographiques sur Curry, Feys, Fitch, Hindley, Seldin, Stenlund.@ MR505304
26. 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). 
27. Grize, J.B., 1971, "Quelques problèmes logico-linguistiques", Math. et Sci. hum., 35, pp.43-50. Zbl0263.68035
28. Grize, J.B., 1973, Logique moderne III, Paris, Mouton, Gauthier-Villars. Zbl0279.02007
29. Grize, J.B., 1974 "Logique combinatoire", in Grande Encyclopédie Larousse, Vol. 12, (1974) 7239-7241. @ Introduction à la logique combinatoire comparable à GRIZE, 1973.@ 
30. Grunberg, T., 1983, "A tableau system of proof for predicate-functor logic with identity", The Journal of Symbolic Logic, vol. 48,1140-1144. Zbl0539.03003MR727802
31. Heijenoort (van), J., 1967, From Frege to Gôdel, A source Book in Mathematical Logic, 1879-1931, Harvard Univ. Press. Zbl0183.00601MR209111
32. Hindley, J.R., Lercher, B., Seldin, J.P., 1972, Introduction to Combinatory Logic, Cambridge Univ. Press. Zbl0269.02005MR335242
33. HINDLEY, J. R., SELDIN, J. P., To H. B. Curry, (Eds), 1980, Essays on Combinatory Logic, Lambda-Calculus and Formalism, Academic Press. Zbl0469.03006MR592795
34. Hindley, J.R., Seldin, J.P., 1986, Introduction to Combinators and Lambda-Calculus, Cambridge Univ. Press. Zbl0614.03014MR879272
35. Kearns, J.T., 1969, "Combinatory logic with discriminators, The Journal of Symbolic Logic, Vol. 34, 4, 561-575. Zbl0195.02002MR268044
36. Kearns, J.T., 1973, "The completeness of combinatory logic with discriminators ", Notre-Dame journal of formal logic, 14, 3, 323-333. Zbl0214.01904MR319714
37. Kneale, W., Kneale, M., 1962, The Development of Logic, paperback,1984, Oxford, Clarendon. Zbl0100.00807MR144812
38. Knopfler, S., 1979, Linguistische und formallogische Untersuchung zur Prädicat-Funktor-Logik, polycopié, Sonderforschungsbereich 99 "Linguistik", Univ.deKonstanz. 
39. Kuhn, S.T., 1983, "An axiomatization of predicate functor logic, Notre-Dame journal of formal logic, vol. 24,2. Zbl0464.03059MR687346
40. Ladriere, J., 1961, "Expression de la récursion primitive dans le calcul lambda-K ", Logique et Analyse4, 13-14, pp. 23-54. 
41. 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. 
42. Ladriere, J., 1973, "L'explication en logique", in L. Apostel et alii, L'explication dans les sciences, Paris, Flammarion, chapitre II, pp. 19-56. 
43. Lambek, J., 1980, "From lambda-calculus to cartesian closed categories", in Hindley et Seldin, 1980, pp. 375-402. MR592812
44. Lambek, J., Scott, P.J., 1986, Introduction to higher order categorical logic, Cambridge Univ. Press. Zbl0596.03002MR856915
45. Luschei, E.C., 1962, The logical systems of Lesniewski, North-Holland. Zbl0111.00602MR186551
46. Mieville, D., 1984, Un développement des systèmes logiques de Stanislas Lesniewski. Protothétique- Ontologie-Méréologie, Beme, Peter Lang. 
47. Neumann(von), J., 1925, "An axiomatisation of set theory", Heijenoort, 1967, pp. 393-413. 
48. Noah, A., 1980, "Predicate-functors and the limits of decidability in logic", Notre-Dame journal of formal logic, Vol. 21, 4, 701-707. Zbl0416.03014MR592530
49. Quine, W.V., 1936, "Towards a calculus of concepts", The Journal of Symbolic Logic, Vol. 1, 2-25. Zbl0014.38702JFM62.0035.02
50. Quine, W.V., 1936, "A reinterpretation of Schönfinkel's logical operators ", Bulletin American Mathematical Society, 42, 87-89. Zbl0014.00301JFM62.0037.02
51. 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. 
52. Quine, W.V., 1971, "Predicate-functor logic, Proceeddings of the Second Scandinavian Logic Symposium (J. Fenstad, Ed.), Amsterdam, North-Holland, pp. 309-316. Zbl0222.02009MR337601
53. 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. MR485354
54. Quine, W.V., 1971, "Predicate-functor logic", Proceedings of the second scandinavian logic symposium, (J. Fenstad Ed.), Amsterdam, North-Holland, pp. 309-16. Zbl0222.02009MR337601
55. 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. MR485354
56. Quine, W.V., 1981, "Predicate functors revisited", Journal of symbolic logic, vol. 46, 3, pp. 649-52. Zbl0472.03007MR627913
57. Rosenbloom, P.C., 1950, The elements of mathematical logic, New York, Dover, chap. III, section 4. Zbl0041.14804MR41070
58. 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. Zbl0011.00201MR1545881JFM61.0056.02
59. Rosser, J.B., 1955, Deux esquisses de logique, (traduction de R. Martin), Paris, Louvain, Gauthier-Villars, Nauwelaerts. Zbl0064.00701MR67042
60. Rosser, J.B., 1984, "Highlights of the history of the lambda-calculus", Annals Hist. Computing6, pp. 337-49 Zbl0998.01530MR763730
61. Schönfinkel, M., 1924, "Über die Bausteine der Mathematischen Logik", Math. Annalen92, pp. 305-15; traduction en anglais in Heijenoort 1967: "On the building blocks of mathematical logic", pp.355-66. MR1512218JFM50.0023.01
62. Scott, D.S., 1975, " Combinators and Classes" in Böhm, 1975, pp. 1-26. Zbl0342.02018MR505296
63. Seldin, J.P., "Curry's program", in Hindley et Seldin, 1980, pp. 3-34. MR592795
64. Smullyan, R., 1985, To Mock a Mockingbird and Others logic Puzzles, Including an amazing Adventure in Combinatory Logic, New York, Alfred A. Knopf. 
65. Barbault, M.C., Descles, J.P., 1972, Transformations formelles et théories linguistiques, Documents du centre de linguistique quantitative, n° 11, Paris, Dunod. Zbl0242.68031MR471449
66. Bar-Hillel, Y., 1953, " A quasi-arithmetical notation for syntactic description ", Language29, pp. 47-58; traduit in Langages9, 1968, pp. 9-22. Zbl0156.25402
67. Benthem ( Van), J., 1988, " Thé Lambek Calculus", in Oehrle et alii, 1988, pp. 35-68. 
68. Buszkowski, W., 1988, "Generative Power of Categorial Grammar", in Oehrle et alii, 1988, pp. 69-94. MR1013842
69. Casadio, C., 1988, "Semantic Categories and the Development of Categorial Grammars", in Oehrle, 1988, pp. 95-123. 
70. Daladier, A., 1982, "Représentations applicatives d'énonçés", Actes de l'école d'été Linguistique et Informatique, M. Borillo Ed.., Toulouse, CNRS. 
71. 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. 
72. 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. 
73. 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. 
74. Descles, J.P., 1986, "Implication entre concepts : la notion de typicalité ", Travaux de Linguistique et de Littérature, XXIV,1, pp.179-202. 
75. Descles, J.P., 1987, "Réseaux sémantiques : la nature logique et linguistique des relateurs", Langages, n°87, pp. 55-78. 
76. 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. 
77. Descles, J.P., Guentcheva, Z., 1988, "Semantics in natural languages and Combinatory Logic ", Symposium : Models of Meaning, Varna, Bulgarie, septembre 1988, 15 p.. 
78. Descles, J.P., Guentcheva, Z., Shaumyan S.K., 1985, Passivization in Applicative Grammar, Pragmatics & Beyond VI : 1, John Benjamins. 
79. Descles, J.P., Guentcheva, Z., Shaumyan, S.K., 1985, " A theoritical Analysis of reflivization in the framework of applicative grammar", Linguisticae Investigationes, 2. 
80. Descles, J.P., Shaumyan, S.K., 1988, Langages applicatifs, langues naturelles et cognition, Paris, Hermès. 
81. Gardies, J.L., 1975, Esquisse d'une grammaire pure, Paris, Vrin. 
82. 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. 
83. 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. 
84. Halle, M., Bresnan, J., Miller, G.A., 1978, Linguistic Theory and Psycholological Reality, The Massachussetts Institute of Technology, Cambridge (Mass), MIT Press, 1981. 
85. Harris, Z., 1968, Mathematical Structures of Language, Interscience Publishers ; traduit en français (par C. Fuchs), Structures mathématiques du langage, 1971, Paris, Dunod. Zbl0195.02202MR471457
86. Harris, Z., 1976, Notes du cours de syntaxe, Paris, Seuil. 
87. Harris, Z., 1982, A Grammar of English on Mathematical Principles, New York, John Wiley. 
88. 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. Zbl0111.16102MR209090
89. Lambek, J., 1958, "The Mathematics of Sentence Structure", American Mathematical Monthly, 65, pp. 154-165. Zbl0080.00702MR106170
90. Lambek, J., 1988, "Categorial and Categorical grammars", in Oehrle et alii, 1988, pp. 297-317. 
91. L'Hermitte, R., 1974, "S. K. Saumjan et la linguistique soviétique", Langages, n°33, pp. 3-14. 
92. Miller, G.A., 1978, " Semantic Relations among Words" in HALLE et alii, 1978, pp. 60-118. 
93. Oehrle, R.T., Bach, E., Wheeler, D., 1988, Categorical Grammars and Natural Languages Structures, D. Reidel. 
94. 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. 
95. Shaumyan(SAUMJAN), S.K., 1965, Structurnaja linguistica, Moskva, Nauka, traduit en anglais en 1971, Principles of Structural linguistics,The Hague, Mouton. MR200099
96. Shaumyan(SAUMJAN), S.K., 1972, Filosofskie problemy teoreticeskoj lingvistiki, (Les problèmes philosophiques de la linguistique théorique), Moskva, Nauka. 
97. Shaumyan, S.K., 1977, Applicationnal Grammar as a semantic theory of natural language, Chicago Univ.Press, Edimburgh Univ. Press. 
98. Shaumyan, S.K., 1982, "The goals of linguistic theory and applicative grammar " , Math. Sci. hum., n° 77, pp. 7-42. 
99. Shaumyan, S.K., 1986, A Semiotic Theory of Natural Language, Bloomington, Indiana Univ. Press. 
100. Steedman, M., 1988, "Combinators and Grammars", in Ochrle et alii, 1988, pp. 417-442. 
101. Wlodarczyk, H., 1974, "La Grammaire Applicative de S. K. Saumjan", Langages, n°33, pp. 15-64. 
102. Abelson, H., Sussman, G.J., Sussman, J., 1985, Structure and Interpretation of Computer Programs, The MIT Press. Zbl0569.68005
103. 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. Zbl0383.68013MR520392
104. BÖHM, C., (Ed..), 1975, Lambda -calculus and computer science theory, LNCS. MR461975
105. Brainerd, W.S., Landweber, L.H., 1974, Theory of Computation, New York, John Wiley. Zbl0274.68001MR400760
106. Burge, W.H., 1975, Recursive Programming Techniques, Addisson-Wesley. Zbl0321.68002
107. Darlington, J., Henderson, P., Turner, D.A., 1982, Functional Programming and its Applications, Cambridge Univ. Press. Zbl0476.68008
108. Degroot, D., Lindstrom, G., 1986, Logic Programming, Functions, Relations and Equations, Prentice-Hall. Zbl0588.68005
109. Glasser, H., Hanking, Ch., Till, D., 1984, Principles of Functional Programming, Prentice Hall International. Zbl0649.68002MR894921
110. Gordon, M. J .C., 1979, The Denatotional Description of Programming Languages, Springer Verlag. Zbl0412.68004
111. Henderson, P., 1980, Functional Programming : Application and Implementation, Prentice-Hall International. Zbl0426.68059
112. 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. MR795770
113. Manna, Z., 1974, Mathematical Theory of Computation, McGraw-Hill. @ Un "classique".@ Zbl0353.68066MR400771
114. Robinet, B., 1979, "Types et fonctionnalité", in Robinet, 1979, pp. 303-325. 
115. ROBINET, B.,(Ed..), 1979, Actes de la sixième Ecole de printemps d'Informatique théorique, Publ. L.I.T..P, Univ. Paris7. 
116. 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. Zbl0444.68025MR620180
117. Stoy, J.E., 1977, Denotational Semantics : The Scott-Strachey Approach to Programming Languages Theory, MIT Press. Zbl0503.68059MR488969
118. Tennent, R.D., 1981, Principles of Programming Languages, Prentice-Hall International. Zbl0463.68008
119. 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.