next up previous contents
Next: About this document ... Up: Programación lógica y funcional Previous: Anexo: Conceptos básicos   Contents

Bibliography

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
Hosted by www.Geocities.ws

1