BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
term (1)
architectur (1)
memori (1)
realiz (1)
xml (1)

Stem sheav$ (all stems)

4 papers:

LICSLICS-2015-TsukadaO #game studies #nondeterminism #semantics
Nondeterminism in Game Semantics via Sheaves (TT, CHLO), pp. 220–231.
RTARTA-2003-Dal-ZilioL #automaton #logic #xml
XML Schema, Tree Logic and Sheaves Automata (SDZ, DL), pp. 246–263.
RTARTA-1993-Gallier #proving
Proving Properties of Typed λ Terms: Realizability, Covers, and Sheaves (Abstract) (JHG), p. 136.
ASPLOSASPLOS-1989-Staknis #architecture #memory management
Sheaved Memory: Architectural Support for State Saving and Restoration in Paged Systems (MES), pp. 96–102.

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.