Girard Couples of Quantales.

Published in: Appl. Categorical Struct. (2010)