Paola Bruscoli;Alessio Guglielmi
-;-
On linear logic planning and concurrency
Information and Computation
A declarative coordination language
Computer Languages
Logical approximation for program analysis
Higher-Order and Symbolic Computation