BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
compon (1)
geometri (1)
time (1)
coalgebra (1)
interact (1)

Stem memory$ (all stems)

2 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.