6 papers:
LICS-2012-AdamekMBL #monad #set- Coproducts of Monads on Set (JA, SM, NB, PBL), pp. 45–54.
ICGT-2004-Casas-GarrigaB #partial order- Coproduct Transformations on Lattices of Closed Partial Orders (GCG, JLB), pp. 336–351.
ICFP-2002-LuthG #monad #using- Composing monads using coproducts (CL, NG), pp. 133–144.
LICS-2001-AltenkirchDHS #evaluation #normalisation #λ-calculus- Normalization by Evaluation for Typed λ Calculus with Coproducts (TA, PD, MH, PJS), pp. 303–310.
LICS-1995-DoughertyS #similarity- Equality between Functionals in the Presence of Coproducts (DJD, RS), pp. 282–291.
TLCA-1995-Ghani- ßn-Equality for Coproducts (NG), pp. 171–185.