Next: About this document ...
Up: Programación lógica y funcional
Previous: Anexo: Conceptos básicos
  Contents
-
- Abe85
- Abelson H., Sussman G. with Sussman
J.
Structure and Interpretation of Computer Programs
MIT Press - McGraw Hill, 1985.
- Bac78
- Backus J.
Can Programming Be Liberated From Von Neumann Style?
Communications ACM 21(8), 613-641, 1978.
- Bar84
- Barendregt H.
The Lambda Calculus: its syntax and semantics
North Holland, 1984
- Bat73
- Battani, G. Meloni, H.
Interpreteur du language de programmation PROLOG
Research Report, Univ. of Aix-Marseille, 1973
- Caf82
- Caferra R.
Tesis doctoral
Univ. Scientifique et Medicale de Grenoble, 1982
- Clo81
- Clocksin W., Mellish C.
Programming in PROLOG
Springer-Verlag, 1981
- Col73
- Colmerauer, A. Kanoui H., Roussel Ph., Pasero,
R.
Un Systeme de Communication Homme-Machine en Francais
Research Report, Univ. of Aix-Marseille, 1973
- Cur58
- Curry H., Feys R.
Combinatory Logic, Vol. I
North Holland, 1958
- Dij72
- Dijkstra E.
Notes on Structured Programming
en Structured Programming, Dahl O., Dijkstra E., Hoare C.
Academic Press, 1976
- Gla84
- Glaser H., Hankin C., Till D.
Principles of Functional Programming
Prentice Hall, 1984
- Hen80
- Henderson, P.
Functional Programming: Application and Implementation
Prentice Hall, 1980
- Hin86
- Hindley R., Seldin J.
An Introduction to Combinators and th Lambda Calculus
Cambridge University Press, 1986
- Hog84
- Hogger C.
Introduction to Logic Programming
Academic Press, 1984
- Hug84
- Hughes J.
Why Functional Programming Matters
University of Goteborg, Programming Methodology Group, 1984
- Knu68
- Knuth D.
The Art of Computer Programming, Vol. 1-3
Addison Wesley, 1968
- Kow79
- Kowalski R.
Algorithm = Logic + Control
Communications ACM 22, 424-431, 1979
- Llo84
- Lloyd J.
Foundations of Logic Programming
Springer-Verlag, 1984
- Loe84
- Loeckx J., Sieber K.
Foundations of Program Verification
John Wiley & Sons, 1984
- Men64
- Mendelson E.
Introduction to Mathematical Logic
Van Nostrand, 1964
- Rou75
- Rousell Ph.
PROLOG: manuel de reference et d'utilisation
Research Report, Univ. of Aix-Marseille, 1975
- Wan80
- Wand M.
Induction, Recursion and Programming
North Holland, 1980
- War79
- Warren D.
PROLOG on the DEC System-10
en Expert Systems in the Microelectronic Age (Michie D. (ed.))
Edinburgh University Press, 1979
- Wir71
- Wirth N.
Program Development by Stepwise Refinement
Communications ACM 14, 4, 221-227, 1971
Cesar Ballardini
2003-10-14