Continuous functions and parallel algorithms on concrete data structures, 1991. ,
Crystal: Theory and pragmatics of generating eecient parallel code, Parallel Functional Languages and Compilers, c hapter 7, 1991. ,
Categorical Combinators, Sequential Algorithms and Functional Programming, Birkhh auser, 1993. ,
Semantic domains, 1990. ,
, Domaines concrets. Rapport, vol.336, 1978.
Alpha : un langage equationnel pour la conception et la programmation d'architectures parall eles synchrones, 1989. ,
Basic Category Theory for Computer Scientists, 1991. ,
Reduction operators in ALPHA, PARLE-92, n umber 605 in Lecture Notes in Computer Science, 1992. ,
PEI: A language and its reenement calculus for parallel programming, Parallel Computing, vol.18, issue.10, pp.1167-1184, 1992. ,