Tome 27 (1993) no. 6

Sommaire

Autonomous posets and quantales
p. 483-501
An imperative language based on distributive categories II
p. 503-522
Retrieving library functions by unifying types modulo linear isomorphism
p. 523-540
On the average number of registers needed to evaluate a special class of backtrack trees
p. 541-554
A unified approach to control problems in discrete event processes
p. 555-573