Demonic semantics: using monotypes and residuals. Tchier, F. (2004) International Journal of Mathematics and Mathematical Sciences
Dialectica and Chu constructions: cousins? de Paiva, Valeria (2006) Theory and Applications of Categories [electronic only]