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 | EE | 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] |