Stem coproduct$ (all stems)

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.