Bringing them all Together
Carlos Areces · Journal of Logic and Computation · 2001
1 ILLC, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands. E-mail: [email protected] 2 INRIA, Lorraine, 615, rue du Jardin Botanique, 54602 Villers lès Nancy Cedex, France. E-mail: [email protected]