Author:
Belkhir Abdelkader,Nemouche Namick
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. S.K.Abdelli, An Abstraction algorithm for combinatory logic, Journal of symbolic logic, vol41, n1, mars 1976.
2. A.Belkhir, Conception d'une machine orientée fonctions, application à l'implantation d'un langage dirigé par les données, Thèse de l'Université PARIS6, 1988.
3. M.Bellia, G. Levi, The relation between logic and functionnal languages: a survey. J of logic programming, Vol3 pp217–236, 1986.
4. P.Bellot, V. Jay, A theory for natural modelisation and implementation of functions with variable arity, Functionnal programming languages and computer architecture, Portland, Oregon, 1987.
5. K.Benabadji, CB. Ben-Yelles, Une machine à réduction matricielle pour le langage VAAL, JFLA92, 1992.