### 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.