dblp.uni-trier.dewww.uni-trier.de

Djamil Sarni

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)
2EEChoun 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)

Coauthor Index

1Patrick Bellot [1] [4]
2J.-P. Cottin [4]
3J. Leneutre [4]
4Choun Tong Lieu [2]
5Bernard Robinet [4]
6Emmanuel Zarpas [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)