15 Feb
2007
15 Feb
'07
11:47 a.m.
On 2/14/07, Klaus Ostermann <ostermann@informatik.tu-darmstadt.de> wrote:
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