Sketches and computation (part 2): Dynamic evaluation and applications (1994)

by D Duval, J-C Reynaud
Venue:Mathematical Structures in Computer Science