Djamil Sarni

Publication Activity (10 Years)

Years Active: 1988-1999
Publications (10 Years): 0

Publications

Patrick Bellot, J.-P. Cottin, Bernard J. Robinet, Djamil Sarni, J. Leneutre, Emmanuel Zarpas
Prolegomena of a Logic of Causality and Dynamism. Stud Logica 62 (1) (1999)
Djamil Sarni
Lambda-Calculus on Occurrence The Theory and its Combinatorial Counterpart. J. Inf. Process. Cybern. 26 (3) (1990)
Choun Tong Lieu, Djamil Sarni
O.LISP: theoretical basis and description. ACM SIGPLAN Notices 25 (12) (1990)
Patrick Bellot, Djamil Sarni
Proposal for A Natural Formalization of Functional Programming Concepts. RAIRO Theor. Informatics Appl. 22 (3) (1988)