Stem sheav$ (all stems)

4 papers:

LICS-2015-TsukadaO #game studies #nondeterminism #semantics

Nondeterminism in Game Semantics via Sheaves (TT, CHLO), pp. 220–231.

RTA-2003-Dal-ZilioL #automaton #logic #xml

XML Schema, Tree Logic and Sheaves Automata (SDZ, DL), pp. 246–263.

RTA-1993-Gallier #proving

Proving Properties of Typed λ Terms: Realizability, Covers, and Sheaves (Abstract) (JHG), p. 136.

ASPLOS-1989-Staknis #architecture #memory management

Sheaved Memory: Architectural Support for State Saving and Restoration in Paged Systems (MES), pp. 96–102.