Stem memory$ (all stems)
2 papers:
- LICS-CSL-2014-HoshinoMH #algebra #component #geometry #interactive
- Memoryful geometry of interaction: from coalgebraic components to algebraic effects (NH, KM, IH), p. 10.
- LICS-2006-KupfermanV #logic
- Memoryful Branching-Time Logic (OK, MYV), pp. 265–274.