Author:
Sauzay Benoît,Guibert Gaëll,Desclés Jean-Pierre
Publisher
Springer International Publishing
Reference13 articles.
1. M.A. Arbib and Y. Give’on. Algebra automata I: Parallel programming as a prolegomena to the categorical approach. Information and Control, 12(4):331–345, 1968.
2. J. Backus. Can programming be liberated from the von Neumann style? Communications of the ACM, 21(8):613–641, 1978.
3. M. Barbut. Une application de l’algèbre linéaire: le calcul des probabilités. Mathématiques et Sciences Humaines, 150:81–98, 2000.
4. J.-Y. Béziau. Logic may be simple. Logic, congruence and algebra. Logic and Logical Philosophy, 5:129–147, 2003.
5. H.-B. Curry. Combinatory logic, vol. 1. North-Holland Publ., 1958.