Stem ccc$ (all stems)
2 papers:
ECOOP-2001-HaradaYP #c #named- CCC: User-Defined Object Structure in C (YH, KY, RP), pp. 118–129.
TLCA-1993-Akama #calculus #on the #reduction- On Mints’ Reduction for ccc-Calculus (YA), pp. 1–12.
ECOOP-2001-HaradaYP #c #named
TLCA-1993-Akama #calculus #on the #reduction