15 Feb
2007
15 Feb
'07
9:17 a.m.
On 2/14/07, Klaus Ostermann
in structural operational semantics, an evaluation context is often used to decompose an expression into a redex and its context.
Have you seen http://citeseer.ist.psu.edu/mcbride01derivative.html The Derivative of a Regular Type is its Type of One-Hole Contexts Jim