Computing with Contexts: A Simple Approach (1998)

by D Sands
Venue:In Proc. HOOTS II: Higher-Order Operational Techniques in Semantics, Electr. Notes in Theoretical Comp. Sci