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

by Dominique Duval, Jean-Claude Reynaud
Venue:Mathematical Structures in Computer Science