| 1999 | ||
|---|---|---|
| 4 | Patrick Bellot, J.-P. Cottin, Bernard Robinet, Djamil Sarni, J. Leneutre, Emmanuel Zarpas: Prolegomena of a Logic of Causality and Dynamism. Studia Logica 62(1): 77-105 (1999) | |
| 1990 | ||
| 3 | Djamil Sarni: Lambda-Calculus on Occurrence The Theory and its Combinatorial Counterpart. Elektronische Informationsverarbeitung und Kybernetik 26(3): 169-187 (1990) | |
| 2 | Choun Tong Lieu, Djamil Sarni: O.LISP: theoretical basis and description. SIGPLAN Notices 25(12): 37-44 (1990) | |
| 1988 | ||
| 1 | Patrick Bellot, Djamil Sarni: Proposal for A Natural Formalization of Functional Programming Concepts. ITA 22(3): 341-360 (1988) | |
| 1 | Patrick Bellot | [1] [4] |
| 2 | J.-P. Cottin | [4] |
| 3 | J. Leneutre | [4] |
| 4 | Choun Tong Lieu | [2] |
| 5 | Bernard Robinet | [4] |
| 6 | Emmanuel Zarpas | [4] |