A Quillen Model Structure for Chu Spaces. - Jeffrey M. Egger (MFPS, 2005)

Girard Couples of Quantales. - Jeffrey M. Egger; David Kruml (Appl. Categorical Struct., 2010)