Computing with Contexts (1999)

by I A Mason
Venue:Higher-Order and Symbolic Computation